IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html