Contents of Otter/old_stuff FTP directory Otter-2.0 Version 2.0 (March 1990) ROO-0.1 Parallel shared-memory Otter for Sequent Symmetry (Oct. 1991) Otter-2.2xa Version 2.2xa (unofficial) including Prolog-style operator declarations. Test problems and documentation are not included, so take Otter-2.2 as well if you don't already have it. (January 1992). otter22-next.Z The cc compiler of NeXTSTEP 3.0 doesn't compile Otter 2.2 correctly. (I compiles without error, but then Otter cannot parse its input.) However, gcc-2.3.3 seems to compile it correctly, and otter22-next is the resulting executable file. Take this file if you wish to run Otter 2.2 with NeXTSTEP 3.0 and you don't use gcc-2.3.3. (23 Feb 93) otter4++.Z The executable SPARCstation version which has a few more features than 2.2xa. This is what Larry Wos uses. (24 Feb 93) otter22_small.tar.Z This is a version of Otter 2.2 without the directories document or misc, which are not needed to compile, test, and run Otter. Otter-2.2xb Version 2.2xb (unofficial) including Padmanabhan's inference rule gL. Basic test problems and documentation are not included, so take Otter-2.2 as well if you don't already have it. (May 1993). ************************************************************************** * DON'T FORGET TO USE BINARY MODE WHEN FTPing .Z OR EXECUTABLE FILES. * **************************************************************************