| Tue, 04 Oct 2005 09:59:01 +0200 | paulson | fixed the ascii-armouring of goalstring | file | diff | annotate |
| Thu, 29 Sep 2005 12:45:16 +0200 | paulson | reduction in tracing files | file | diff | annotate |
| Wed, 28 Sep 2005 11:16:27 +0200 | paulson | time limit option; fixed bug concerning first line of ATP output | file | diff | annotate |
| Thu, 22 Sep 2005 14:09:48 +0200 | paulson | removal of "sleep" to stop looping in Poly/ML, and replacement of funny codes by tracing statements | file | diff | annotate |
| Wed, 21 Sep 2005 18:35:31 +0200 | paulson | improved proof parsing | file | diff | annotate |
| Tue, 20 Sep 2005 18:43:39 +0200 | paulson | tidying, and support for axclass/classrel clauses | file | diff | annotate |
| Mon, 19 Sep 2005 18:30:22 +0200 | paulson | further simplification of the Isabelle-ATP linkup | file | diff | annotate |
| Mon, 19 Sep 2005 15:12:13 +0200 | paulson | simplification of the Isabelle-ATP code; hooks for batch generation of problems | file | diff | annotate |