| Fri, 21 May 1999 16:25:34 +0200 | wenzelm | Miscellaneous interfaces. | changeset | files |
| Fri, 21 May 1999 16:24:46 +0200 | wenzelm | Isamode.setup, ProofGeneral.setup; | changeset | files |
| Fri, 21 May 1999 16:24:25 +0200 | wenzelm | Isamode and ProofGeneral configuration moved to Pure/Interface; | changeset | files |
| Fri, 21 May 1999 16:23:48 +0200 | wenzelm | added use_thy_only; | changeset | files |
| Fri, 21 May 1999 16:23:18 +0200 | wenzelm | added Interface/ROOT.ML Interface/isamode.ML Interface/proof_general.ML; | changeset | files |
| Fri, 21 May 1999 16:22:39 +0200 | wenzelm | avoid string constants; | changeset | files |
| Fri, 21 May 1999 12:11:13 +0200 | nipkow | qed indexed. | changeset | files |