| Mon, 05 Nov 2007 08:31:12 +0100 | nipkow | added lemmas | changeset | files |
| Sun, 04 Nov 2007 19:17:13 +0100 | wenzelm | replaced cc/ld phase by PolyML.SaveState.saveState (potentially more efficient); | changeset | files |
| Sun, 04 Nov 2007 17:12:14 +0100 | wenzelm | removed obsolete ProofGeneral/parsing.ML; | changeset | files |
| Sun, 04 Nov 2007 16:43:31 +0100 | wenzelm | activated new script parser; | changeset | files |
| Sun, 04 Nov 2007 16:43:29 +0100 | wenzelm | Output.add_mode default prevents escapes from ProofGeneral mode; | changeset | files |
| Sun, 04 Nov 2007 16:43:28 +0100 | wenzelm | added ProofGeneral/pgml_isabelle.ML; | changeset | files |
| Sun, 04 Nov 2007 16:43:27 +0100 | wenzelm | the all-important ML antiquotations are back; | changeset | files |