codegen.ML is now loaded in Pure again.
authorberghofe
Tue Aug 28 18:07:25 2007 +0200 (2007-08-28)
changeset 24455cd8e14100c00
parent 24454 692dac1e7381
child 24456 8eb0f4a36d04
codegen.ML is now loaded in Pure again.
src/Pure/IsaMakefile
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/IsaMakefile	Tue Aug 28 18:06:24 2007 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Tue Aug 28 18:07:25 2007 +0200
     1.3 @@ -66,7 +66,7 @@
     1.4    Thy/present.ML Thy/term_style.ML Thy/thm_database.ML Thy/thm_deps.ML		\
     1.5    Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML		\
     1.6    Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/named_thms.ML		\
     1.7 -  Tools/xml_syntax.ML assumption.ML axclass.ML		\
     1.8 +  Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML		\
     1.9    compress.ML config.ML conjunction.ML consts.ML context.ML			\
    1.10    context_position.ML conv.ML defs.ML display.ML drule.ML envir.ML		\
    1.11    fact_index.ML goal.ML library.ML logic.ML meta_simplifier.ML			\
     2.1 --- a/src/Pure/ROOT.ML	Tue Aug 28 18:06:24 2007 +0200
     2.2 +++ b/src/Pure/ROOT.ML	Tue Aug 28 18:07:25 2007 +0200
     2.3 @@ -88,6 +88,8 @@
     2.4  
     2.5  cd "Tools"; use "ROOT.ML"; cd "..";
     2.6  
     2.7 +use "codegen.ML";
     2.8 +
     2.9  (*configuration for Proof General*)
    2.10  cd "ProofGeneral"; use "ROOT.ML"; cd "..";
    2.11