Thu, 26 May 2005 16:50:07 +0200 | paulson | trying to set up portable calling sequences for SPASS and tptp2X | 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 |