Next: Entering and Leaving SNePS
Up: SNePSUL Commands
Previous: Context Specifiers
Ask whoever maintains SNePS at your site how to load SNePS.
Typically, this involves running COMMON LISP, and then loading
SNePS.
John Francis Santore
Fri May 14 11:18:57 EDT 1999