Nuprl - KBDCMDkbd vartyping

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`:' kbd_vartyping

doc for deptypeinsert IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html