From owner-cse663-fa06-list@LISTSERV.BUFFALO.EDU  Tue Sep 12 11:41:08 2006
Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79])
	by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k8CFf8bH025236
	for <rapaport@castor.cse.buffalo.edu>; Tue, 12 Sep 2006 11:41:08 -0400 (EDT)
Received: from front3.acsu.buffalo.edu (upfront.acsu.buffalo.edu [128.205.4.140])
	by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id k8CFf5AF059776
	for <rapaport@CSE.BUFFALO.EDU>; Tue, 12 Sep 2006 11:41:05 -0400 (EDT)
Received: (qmail 11449 invoked from network); 12 Sep 2006 15:41:05 -0000
Received: from mailscan8.acsu.buffalo.edu (128.205.7.55)
  by front3.acsu.buffalo.edu with SMTP; 12 Sep 2006 15:41:05 -0000
Received: (qmail 11369 invoked from network); 12 Sep 2006 15:41:04 -0000
Received: from deliverance.acsu.buffalo.edu (128.205.7.57)
   by front3.acsu.buffalo.edu with SMTP; 12 Sep 2006 15:41:04 -0000
Received: (qmail 12885 invoked from network); 12 Sep 2006 15:40:59 -0000
Received: from listserv.buffalo.edu (128.205.7.35)
   by deliverance.acsu.buffalo.edu with SMTP; 12 Sep 2006 15:40:59 -0000
Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id
           468841 for CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU; Tue, 12 Sep 2006
           11:40:59 -0400
Delivered-To: cse663-fa06-list@listserv.buffalo.edu
Received: (qmail 1201 invoked from network); 12 Sep 2006 15:40:59 -0000
Received: from mailscan5.acsu.buffalo.edu (128.205.6.137) by
           listserv.buffalo.edu with SMTP; 12 Sep 2006 15:40:59 -0000
Received: (qmail 20729 invoked from network); 12 Sep 2006 15:40:57 -0000
Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp1.acsu.buffalo.edu
           with SMTP; 12 Sep 2006 15:40:57 -0000
Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by
           castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k8CFeuUG025213
           for <cse663-fa06-list@listserv.buffalo.edu>; Tue, 12 Sep 2006
           11:40:56 -0400 (EDT)
Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU
           (8.13.6/8.12.9/Submit) id k8CFeuS1025212 for
           cse663-fa06-list@listserv.buffalo.edu; Tue, 12 Sep 2006 11:40:56
           -0400 (EDT)
X-UB-Relay: (castor.cse.buffalo.edu)
X-PM-EL-Spam-Prob: : 7%
Message-ID:  <200609121540.k8CFeuS1025212@castor.cse.Buffalo.EDU>
Date:         Tue, 12 Sep 2006 11:40:56 -0400
Reply-To: CSE 663 - Advanced Knowledge Representation - Fall 2006
               <CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU>
Sender: CSE 663 - Advanced Knowledge Representation - Fall 2006 <CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU>
From: "William J. Rapaport" <rapaport@cse.Buffalo.EDU>
Subject: advice on using SNePS
To: CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU
Precedence: list
List-Help: <http://listserv.buffalo.edu/cgi-bin/wa?LIST=CSE663-FA06-LIST>,
            <mailto:LISTSERV@LISTSERV.BUFFALO.EDU?body=INFO CSE663-FA06-LIST>
List-Unsubscribe: <mailto:CSE663-FA06-LIST-unsubscribe-request@LISTSERV.BUFFALO.EDU>
List-Subscribe: <mailto:CSE663-FA06-LIST-subscribe-request@LISTSERV.BUFFALO.EDU>
List-Owner: <mailto:CSE663-FA06-LIST-request@LISTSERV.BUFFALO.EDU>
X-UB-Relay: (castor.cse.buffalo.edu)
X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1335; Body=0 Fuz1=0 Fuz2=0
X-Virus-Scanned: ClamAV 0.88.3/1871/Tue Sep 12 09:28:18 2006 on ares.cse.buffalo.edu
X-Virus-Status: Clean
Status: RO
X-Status: 
X-Keywords: NotJunk $NotJunk
X-UID: 12519
Content-Length: 184

At
http://www.cse.buffalo.edu/sneps/instructions.html

there is a "quick" way and a "slow" way to run SNePS using (X)emacs.

I have been told that the slow way is the recommended way.