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 |