Mon, 24 May 1999 15:43:45 +0200 | paulson | updated for stronger version of psp | changeset | files |
Fri, 21 May 1999 16:26:06 +0200 | wenzelm | Configuration for ProofGeneral of LFCS Edinburgh. | changeset | files |
Fri, 21 May 1999 16:25:49 +0200 | wenzelm | Configuration for David Aspinall's Isamode. | changeset | files |
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 |