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.
Goals.setup;
authorwenzelm
Thu, 01 Nov 2001 21:10:13 +0100
changeset 12013 8d2372c6b5f3
parent 12012 1d534baa2827
child 12014 035ab884b9e0
Goals.setup;
src/Pure/pure.ML file | annotate | diff | comparison | revisions 
--- 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