Mon, 05 Feb 2001 14:38:11 +0100 | wenzelm | polyml-3.x.ML vs polyml-4.0.ML; | changeset | files |
Mon, 05 Feb 2001 14:37:10 +0100 | wenzelm | renamed polyml.ML to polyml-3.x.ML and polyml-4.0.ML to polyml.ML (default); | changeset | files |
Mon, 05 Feb 2001 14:31:49 +0100 | wenzelm | tuned; | changeset | files |
Mon, 05 Feb 2001 14:30:55 +0100 | wenzelm | example Proof General settings; | changeset | files |
Sun, 04 Feb 2001 22:34:52 +0100 | wenzelm | document setup; | changeset | files |
Sun, 04 Feb 2001 22:28:31 +0100 | wenzelm | converted to new-style; | changeset | files |