Thu, 26 May 2005 16:50:07 +0200 | paulson | trying to set up portable calling sequences for SPASS and tptp2X | file | diff | annotate |
Wed, 25 May 2005 01:47:11 +0200 | quigley | Removed shell variables. Now uses isatool getenv -b SPASS_HOME. | file | diff | annotate |
Tue, 24 May 2005 16:12:52 +0200 | quigley | Generic version of spassshell. Add SPASS_HOME to .bashrc so that shell script can find it. | file | diff | annotate |
Mon, 23 May 2005 15:16:36 +0200 | quigley | spassshell and testout.py are used to filter the proof part out of SPASS's | file | diff | annotate |