Wed, 19 Feb 2014 15:57:02 +0000 | sultana | added case for handling 'assumption' lines in Satallax proofs; | file | diff | annotate |
Tue, 03 Sep 2013 21:46:41 +0100 | sultana | now allowing numeric identifiers to be used in 'file' annotations; | file | diff | annotate |
Tue, 03 Sep 2013 21:46:40 +0100 | sultana | extracting more info from formula annotation in proof; | file | diff | annotate |
Tue, 10 Apr 2012 06:45:15 +0100 | sultana | moved non-interpret-specific code to different module | file | diff | annotate |