# HG changeset patch
# User wenzelm
# Date 927296686 -7200
# Node ID 68b4f97b57cdc33547c98245075ca7c65c6ec1ef
# Parent  d3ba5427d56247f99f9e3a79c6d6e3923ad4b79c
Isamode.setup, ProofGeneral.setup;

diff -r d3ba5427d562 -r 68b4f97b57cd src/Pure/pure.ML
--- a/src/Pure/pure.ML	Fri May 21 16:24:25 1999 +0200
+++ b/src/Pure/pure.ML	Fri May 21 16:24:46 1999 +0200
@@ -14,7 +14,9 @@
     Method.setup @
     Attrib.setup @
     AxClass.setup @
-    BrowserInfo.setup;
+    BrowserInfo.setup @
+    Isamode.setup @
+    ProofGeneral.setup;
 in
   structure Pure =
   struct