# HG changeset patch
# User wenzelm
# Date 939130214 -7200
# Node ID 86755cc5b83cb8bafc1c7d0204564855092c8073
# Parent  e7ecfa61744391687041130d1b4713889829453f
Present.setup;

diff -r e7ecfa617443 -r 86755cc5b83c src/Pure/pure.ML
--- a/src/Pure/pure.ML	Tue Oct 05 15:29:46 1999 +0200
+++ b/src/Pure/pure.ML	Tue Oct 05 15:30:14 1999 +0200
@@ -15,7 +15,7 @@
     Calculation.setup @
     SkipProof.setup @
     AxClass.setup @
-    BrowserInfo.setup @
+    Present.setup @
     Isamode.setup @
     ProofGeneral.setup;
 in