| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | generate problem file | file | diff | annotate |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | first go at generating files for MaSh (machine-learning Sledgehammer) | file | diff | annotate |
| Tue, 26 Jun 2012 11:14:40 +0200 | blanchet | compile | file | diff | annotate |
| Tue, 26 Jun 2012 11:14:40 +0200 | blanchet | more work on DFG type classes | file | diff | annotate |
| Tue, 26 Jun 2012 11:14:39 +0200 | blanchet | removed support for unsorted DFG, now that SPASS 3.7 is no longer supported | file | diff | annotate |
| Mon, 06 Feb 2012 23:01:01 +0100 | blanchet | renamed type encoding | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed theory exporter | file | diff | annotate | base |