src/Pure/IsaMakefile
changeset 28227 77221ee0f7b9
parent 28198 90dd4068bf61
child 28240 444d1e8ae496
     1.1 --- a/src/Pure/IsaMakefile	Mon Sep 15 20:51:58 2008 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Tue Sep 16 09:21:22 2008 +0200
     1.3 @@ -72,7 +72,7 @@
     1.4    Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML	\
     1.5    Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML		\
     1.6    Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML	\
     1.7 -  Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML			\
     1.8 +  Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/value.ML	\
     1.9    Tools/isabelle_process.ML Tools/named_thms.ML Tools/xml_syntax.ML	\
    1.10    assumption.ML axclass.ML codegen.ML config.ML conjunction.ML		\
    1.11    consts.ML context.ML conv.ML defs.ML display.ML drule.ML envir.ML	\