| Fri, 03 Oct 2008 14:07:41 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 03 Oct 2008 14:06:19 +0200 | wenzelm | Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler); | changeset | files |
| Fri, 03 Oct 2008 13:21:01 +0200 | wenzelm | added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs; | changeset | files |
| Fri, 03 Oct 2008 00:21:48 +0200 | wenzelm | tuned tracing; | changeset | files |