# HG changeset patch # User berghofe # Date 1158846031 -7200 # Node ID 9de0a076b3fc156907c11bb78b81e8ece2f58eee # Parent 8c4d80e8025f7f615a3fb0f3c9760dd984bc65b0 Added Tools/xml_syntax.ML diff -r 8c4d80e8025f -r 9de0a076b3fc src/Pure/IsaMakefile --- a/src/Pure/IsaMakefile Thu Sep 21 14:44:30 2006 +0200 +++ b/src/Pure/IsaMakefile Thu Sep 21 15:40:31 2006 +0200 @@ -64,6 +64,7 @@ Tools/codegen_funcgr.ML Tools/codegen_simtype.ML \ Tools/codegen_thingol.ML Tools/compute.ML \ Tools/invoke.ML Tools/nbe.ML Tools/nbe_codegen.ML Tools/nbe_eval.ML \ + Tools/xml_syntax.ML \ assumption.ML axclass.ML codegen.ML compress.ML conjunction.ML consts.ML \ context.ML defs.ML display.ML drule.ML envir.ML fact_index.ML goal.ML \ install_pp.ML library.ML logic.ML meta_simplifier.ML name.ML net.ML \