-----------------------------------------------------

	H O W   T O   S T A R T   N U P R L

-----------------------------------------------------

1. Nuprl uses not only standard ASCII characters but
   some extra symbols (for ForAll, Exists, etc.) in
   order to use this symbols Nuprl group created new
   two new X-fonts: "nuprl-13" and "nuprl-20". The
   difference between these two fonts is size of
   characters. By default Nuprl uses "nuprl-13".

   Files with both Nuprl fonts are located in the
   directory: /usr/public/sun4/nuprl/x-fonts/8bit/
   To make them available for your X font server
   you will need to execute the following two command:

 xset fp+  /usr/public/sun4/nuprl/x-fonts/8bit
 xset fp rehash

   But you also can put this two lines in the beginning
   of you .xinitrc file and they will be executed
   each time when you start X Windows. There is nothing
   bad in having these two lines in you .xinitrc files
   even if you are not going to run Nuprl during this
   X-session.

2. Now you are ready to start Nuprl. Current version of 
   Nuprl is 4.2 and it is in the file ~nuprl/bin/nuprl4.2
   So, in order to run Nuprl you can just type

 ~nuprl/bin/nuprl4.2

   Or create alias like

 alias nuprl ~nuprl/bin/nuprl4.2

   In your .cshrc file.

3. Nuprl needs a lot of RAM in order to run not too slow.
   That's why I recommend you to run Nuprl on some big machine.
   Usually I use "deneb". So, before running Nuprl open
   xterm on deneb:

 rxterm deneb

   and start Nuprl from there. Do not use Solaris machines
   to run Nuprl it doesn't work. You need to recompile Nuprl
   to run it on Solaris.

4. In fact, ~nuprl/bin/nuprl4.2 will just start Lisp,
   load Nuprl package, and prompt you with ">"
   You do not need to know anything about Lisp in
   order to use Nuprl. Just type

 >(nuprl)

5. If you've typed something wrong into Lisp prompt then
   it will print on you screen something like:

   .....
   ->

   Do not worry! It's just lisp debugger. Type ":a"
   and you are back in business.

6. If nothing bad happened you will see two new windows
   on your screen "Library" (collection of Nuprl theorem) 
   and "ML loop" (main command window). Nuprl started!

7. Do not think that I am sailing you one-way ticket!
   Here is how to terminate Nuprl (of course, you can
   use UNIX "kill" as well)

     a. Click "ML loop" and type Ctrl+z. It will
        return you back to Lisp.

     b. In Lisp prompt type:

 >(quit)