# 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 		\