| Mon, 05 Nov 2007 14:26:41 +0100 | krauss | changed "treemap" example to "mirror" | changeset | files |
| 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 |