Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Present.setup;
authorwenzelm
Tue, 05 Oct 1999 15:30:14 +0200
changeset 7718 86755cc5b83c
parent 7717 e7ecfa617443
child 7719 b684162d049e
Present.setup;
src/Pure/pure.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle