Mon, 20 Jun 2005 22:13:53 +0200 | wenzelm | exclude pghead.pdf from doc; | changeset | files |
Mon, 20 Jun 2005 21:34:31 +0200 | wenzelm | improved formatting; | changeset | files |
Mon, 20 Jun 2005 21:33:27 +0200 | wenzelm | use Tools/ATP/VampCommunication.ML; | changeset | files |
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 |