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