# HG changeset patch
# User berghofe
# Date 926953610 -7200
# Node ID b0b819902eaa4884bd6eaf0902541fd4371cd0f5
# Parent  401f14f25648d1a72b4eb5b44441a3203911cc75
Added setup for BrowserInfo.

diff -r 401f14f25648 -r b0b819902eaa src/Pure/pure.ML
--- a/src/Pure/pure.ML	Mon May 17 17:04:26 1999 +0200
+++ b/src/Pure/pure.ML	Mon May 17 17:06:50 1999 +0200
@@ -13,7 +13,8 @@
     ProofContext.setup @
     Method.setup @
     Attrib.setup @
-    AxClass.setup;
+    AxClass.setup @
+    BrowserInfo.setup;
 in
   structure Pure =
   struct