1.1. Running SNePS on UB Computer Science Computers

For the most up-to-date instructions, see "Running SNePS 2.7 on UB CSE Computers"

Notes:

1. If you get a different prompt during a debugging process and want to return to the SNePS prompt, just evaluate (sneps).
2. To return to Lisp from SNePS, evaluate (lisp) at the SNePS prompt.
3. To leave Lisp, evaluate (exit) or enter :ex at the Lisp prompt.