Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/pure.ML
changeset 12013 8d2372c6b5f3
parent 11761 183435fd45f2
child 12234 9d86f1cd2969 
--- a/src/Pure/pure.ML	Thu Nov 01 21:09:53 2001 +0100
+++ b/src/Pure/pure.ML	Thu Nov 01 21:10:13 2001 +0100
@@ -21,7 +21,8 @@
     Present.setup @
     Isamode.setup @
     ProofGeneral.setup @
-    Codegen.setup;
+    Codegen.setup @
+    Goals.setup;
 in
   structure Pure =
   struct
isabelle