IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
ButtonConversionMenu
DEBUG StdEdCmdDefs RefreshCmdDocCache CmdReview
EdCmdDoc <name>
Edit Cmd Def Stamp <term (in ml)> for <ml>
EdCmdDocGroups <words> for <ml>
Left-Hand <kdb cmd> Version Recommended
EdCmd <name> :<conds> == <body>
EdCmd <name> :{@}<conds> == <body>
EdCmd <name> :"PLAINenv"<moreconds> == <body>
EdCmd <name> :"MLenv"<moreconds> == <body>
EdCmd <name> :"WORDSenv"<moreconds> == <body>
IfEdCmd <name> :<conds> == <body>
WhileEdCmd <name> :<conds> == <body>
RepeatWhileEdCmd <name> :<conds> == <body>
{Rarer Forms 
}
[[internal macro name]]
*[primitive cmd name]* PrimCmds
{<words>
<words>} IndirectWord SpecialChars
KBDcmd CreateKBDcmdOb
ListAllKBDcmds ShowKBDbindingsFor
FindCmdDefsFor FindCmdThreadsFor
{popush} {[abstract cmd name]}
@Insert{ob:[ob name]} @TextInsert(<word>) @ObInsert(ob:[ob name]) @TextObInsert(<word>) @Repl&Fini{ob:[ob name]} @SimpleApply(<ml text>) @Apply(<ml text>) @HideApply(<ml text>) @StackApply(<ml text>) @ViewOb([word]) ob:[ob name] pushtext:[word]
DefineTheseCmds Define EdCmds with <MacroDefs>
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
