Nuprl - KBDCMDkbd mouse linking

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`(csm-(mouseright))' kbd_mouse_linking

Inserts at your current point a [ob name] link to the window where you click. But if you click inside a term

Proof of [thm name] (No object specified)

<pf term>

then insert a pointer to the proof instead. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html