# HG changeset patch
# User berghofe
# Date 999267003 -7200
# Node ID a111174ce78995dab083248b1c03ce7e44ae0cef
# Parent  a12def3d1847f5c8dfaef28836308b135ae34f30
Added setup for code generator.

diff -r a12def3d1847 -r a111174ce789 src/Pure/pure.ML
--- 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