| 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 |
| Thu, 04 Jan 2007 18:09:58 +0100 | aspinall | Use warning fatality | changeset | files |
| Thu, 04 Jan 2007 18:09:30 +0100 | aspinall | Add warning fatality | changeset | files |
| Thu, 04 Jan 2007 17:55:12 +0100 | paulson | improvements to proof reconstruction. Some files loaded in a different order | changeset | files |
| Thu, 04 Jan 2007 17:52:28 +0100 | webertj | using Array.modifyi (no functional change) | changeset | files |
| Thu, 04 Jan 2007 17:49:43 +0100 | wenzelm | run as RAW session; | changeset | files |
| Thu, 04 Jan 2007 17:49:42 +0100 | wenzelm | removed obsolete option -C; | changeset | files |