| Wed, 14 Sep 2005 10:21:09 +0200 | paulson | correct E brackets | file | diff | annotate |
| Thu, 08 Sep 2005 17:35:02 +0200 | paulson | consolidation of duplicate code in Isabelle-ATP linkup | file | diff | annotate |
| Thu, 08 Sep 2005 13:24:19 +0200 | paulson | yet more tidying of Isabelle-ATP link | file | diff | annotate |
| Wed, 07 Sep 2005 18:14:26 +0200 | paulson | Progress on eprover linkup, also massive tidying | file | diff | annotate |
| Wed, 07 Sep 2005 09:54:31 +0200 | paulson | axioms now included in tptp files, no /bin/cat and various tidying | file | diff | annotate |
| Mon, 04 Jul 2005 15:51:56 +0200 | quigley | Streamlined the signal handler in watcher.ML | file | diff | annotate |
| Mon, 20 Jun 2005 21:34:31 +0200 | wenzelm | improved formatting; | file | diff | annotate |
| Mon, 20 Jun 2005 18:39:24 +0200 | quigley | Added VampCommunication.ML. | file | diff | annotate |