src/HOL/Tools/ATP/spassshell
2005-05-26 paulson 2005-05-26 further tweaks to the SPASS setup
2005-05-26 paulson 2005-05-26 trying to set up portable calling sequences for SPASS and tptp2X
2005-05-25 quigley 2005-05-25 Removed shell variables. Now uses isatool getenv -b SPASS_HOME.
2005-05-24 quigley 2005-05-24 Generic version of spassshell. Add SPASS_HOME to .bashrc so that shell script can find it.
2005-05-23 quigley 2005-05-23 spassshell and testout.py are used to filter the proof part out of SPASS's output (i.e. cuts out input and search information).