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