| 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 |