(Because the command names and display forms for various terms will differ from user to user, these documents must be printed from within the Nuprl session where the command bindings and display forms are defined.)

Clicking on the button below with `(mouseleft)' will write the tex file ~/nuprl-home/main_doc_obs.tex .

This button will also print a copy of all the individual keyboard command review documents, putting them in
~/nuprl-home/complete_kbd_cmd_review.tex
These commands will be numbered in the document, and references to these commands from either within the reveiw documents or from the other documents printed here will show these numbers along with the command.

Click HERE to write documentation files.

SHELL latex complete_kbd_cmd_review {~/nuprl-home} 
SHELL dvips -f complete_kbd_cmd_review.dvi
SHELL dvips > complete_kbd_cmd_review.ps
SHELL {~/nuprl-home}
SHELL ghostview complete_kbd_cmd_review.ps & {~/nuprl-home} 
SHELL lpr complete_kbd_cmd_review.ps {~/nuprl-home} 

SHELL latex main_doc_obs {~/nuprl-home} 
SHELL dvips -f main_doc_obs.dvi
SHELL dvips > main_doc_obs.ps
SHELL {~/nuprl-home}
SHELL ghostview main_doc_obs.ps & {~/nuprl-home} 
SHELL lpr main_doc_obs.ps {~/nuprl-home}