The editor is not yet set up to manage these commands like it does with the built in ones, so if you want to collect any commands for later use, say if you have to rebind all the commands for some reason, or want to use them in your other Nuprl sessions, you should save the commands you make in some library object, and sequence them with the sequencing constructor (<ml> ; <ml>) since executing the definition in ML is what binds the command to the name you give it.

There will be no automatic generation of the usual documentation for these commands. This may be rectified in the future.

Making buttons first is an easy way to make new commands. doc for making buttons IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html