EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`(c-u)(c-d)' kbd_delete_up

Delete point, then if the parent has only one remaining child term, replace the parent by that child. This is most useful when removing entries from term sequences. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc