From owner-cse663-fa08-list@LISTSERV.BUFFALO.EDU Tue Sep 2 21:10:14 2008 Date: Tue, 2 Sep 2008 21:10:06 -0400 From: "William J. Rapaport" Subject: 663: Using SNePS (revised instructions!) To: CSE663-FA08-LIST@LISTSERV.BUFFALO.EDU To run SNePS: 1. ssh into nickelback 2. run Lisp using "alisp" [NOT "mlisp"] 3. load SNePS alisp is case-sensitive, and SNePS is written to use a case-sensitive lisp, unless otherwise specified when compiling. mlisp is not.