IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
The command `(c-a)(c-q)' will unconditionally quit the object of current focus.
The command `(c-q)' will normally attempt a safe quit, which means the quit only occurs if the object contents on display actually match the contents in the library. Changes to objects are buffered from the library, and must be posted to have effect. docforpostingobjects
The Cycle-Q button will attempt a safe quit `(c-q)' on most open objects.
Only relevant if you're using the old "RED" proof editor: `(c-q)' will also unconditionally quit an empty RULE box.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html