Subject: Refiner

Keywords: ::overview
          ::Refiner

Title: Refiner process.

--------------------------------------------------
A refiner process will have a toploop in the lisp session running
the refiner. For the most part you will not have to interact much
with the toploop. It can be useful to look at the toploop if a refinement 
is taking an unexpected amount of time, since there are a good number
of messages printed that indicate what the refiner is doing.

See nuprl process emacs toploop.

To start a refiner from scratch:
Start emacs (which loads nuprl.el, ie any emacs script in /usr/nuprl/bin).
eval (m-x)nuref to start refiner.
This will start the aforementioned toploop.
At prompt enter "go." to connect to library. The refiner caches a large
amount of data, so the connection process can take quite a while. You can check if 
done by hitting <enter> at end of buffer to see if prompt comes back.

Related FAQ:
interrupting a refiner
⋅
--------------------------------------------------

Authors: RICH:t

⋅

Home