EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
ClearSnapFile DO set_snapshot_file "~/snapshot.text"
SNAPSHOT Term
SNAPSHOT Horizontal Line
SNAPSHOT PageBreak
SNAPSHOT Window MakeNodeCopy PrintProof
SNAPSHOT Listing

DO chosen_latexize_file |latexize_file_woambles "~/snapshot.text" "~/snap.tex"
SHELL latex snap {~}  SHELL xdvi snap & {~} 
SHELL dvips -f snap.dvi >snap.ps & {~} 
SHELL ghostview snap.ps & {~} 
SHELL lpq {~}  SHELL lpr snap.ps & {~} 
SHELL xterm -e $VISUAL snap.tex & {~}  SHELL xterm -e $VISUAL snapshot.text & {~} 
SHELL spell snapshot.text {~} 

VIEW Listing BurstObject EmptyBURSTs IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc