| Tue, 30 Sep 1997 17:28:54 +0200 | berghofe | Theory browser stuff has been moved to "present.tex". | changeset | files |
| Tue, 30 Sep 1997 16:19:27 +0200 | wenzelm | obsolete; | changeset | files |
| Tue, 30 Sep 1997 16:12:38 +0200 | wenzelm | ISABELLE_USEDIR_OPTIONS="-i true" | changeset | files |