| 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 |
| Fri, 03 Oct 2008 00:12:13 +0200 | wenzelm | slower heartbeat; | changeset | files |
| Thu, 02 Oct 2008 23:52:12 +0200 | wenzelm | added simple heartbeat thread; | changeset | files |
| Thu, 02 Oct 2008 23:52:10 +0200 | wenzelm | time factor: one more digit; | changeset | files |