Thu, 04 Jan 2007 19:53:00 +0100 | aspinall | Be more chatty in PGIP file operations.proof_general_pgip.ML | changeset | files |
Thu, 04 Jan 2007 19:27:08 +0100 | wenzelm | broken error handling for command syntax -- reverted to revision 1.9; | changeset | files |