| Thu, 19 Dec 2013 10:12:28 +0100 | blanchet | prevent curl's output to interfere with the prover's output | file | diff | annotate |
| Wed, 18 Dec 2013 16:50:14 +0100 | blanchet | new port | file | diff | annotate |
| Tue, 17 Dec 2013 14:22:42 +0100 | blanchet | removed workaround | file | diff | annotate |
| Tue, 17 Dec 2013 14:03:29 +0100 | blanchet | primitive support for SPASS-Pirate (Daniel Wand's polymorphic SPASS prototype) | file | diff | annotate |