| Wed, 03 Jan 2007 18:29:46 +0100 | paulson | Improvements to proof reconstruction. Now "fixes" is inserted | changeset | files |
| Wed, 03 Jan 2007 11:06:52 +0100 | paulson | Contains old Tools/ATP/AtpCommunication.ML, plus proof reconstruction | changeset | files |
| Wed, 03 Jan 2007 10:59:06 +0100 | paulson | first version of structured proof reconstruction | changeset | files |
| Tue, 02 Jan 2007 22:43:05 +0100 | wenzelm | Morphism.fact; | changeset | files |
| Tue, 02 Jan 2007 22:43:04 +0100 | wenzelm | Term.lambda: abstract over arbitrary closed terms; | changeset | files |
| Sun, 31 Dec 2006 15:57:58 +0100 | aspinall | Add standalone file to help porters | changeset | files |
| Sun, 31 Dec 2006 15:34:21 +0100 | aspinall | Quote arguments in PGIP exceptions. Tune comment. | changeset | files |
| Sun, 31 Dec 2006 14:55:35 +0100 | aspinall | Initialise parser at startup. Remove some obsolete ProofGeneral.XXX outer syntax, mapping PGIP commands directly to Isar. | changeset | files |