| Mon, 20 Jun 2005 18:39:24 +0200 | quigley | Added VampCommunication.ML. | changeset | files |
| Mon, 20 Jun 2005 16:41:47 +0200 | wenzelm | moved configure to lib/scripts; | changeset | files |
| Mon, 20 Jun 2005 16:41:20 +0200 | wenzelm | ./configure obsolete on virtually all systems, but apt to cause problems; | changeset | files |
| Mon, 20 Jun 2005 15:55:44 +0200 | paulson | using TPTP2X_HOME; indentation, etc | changeset | files |