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.
Added setup for code generator.
authorberghofe
Fri, 31 Aug 2001 16:10:03 +0200
changeset 11515 a111174ce789
parent 11514 a12def3d1847
child 11516 a0633bdcd015
Added setup for code generator.
src/Pure/pure.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/pure.ML	Fri Aug 31 16:09:25 2001 +0200
+++ b/src/Pure/pure.ML	Fri Aug 31 16:10:03 2001 +0200
@@ -18,7 +18,8 @@
     Latex.setup @
     Present.setup @
     Isamode.setup @
-    ProofGeneral.setup;
+    ProofGeneral.setup @
+    Codegen.setup;
 in
   structure Pure =
   struct
isabelle