Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/IsaMakefile
changeset 44698 0385292321a0
parent 44247 270366301bd7
child 45026 5c0b0d67f9b1 
--- a/src/Pure/IsaMakefile	Sun Sep 04 14:29:15 2011 +0200
+++ b/src/Pure/IsaMakefile	Sun Sep 04 15:21:50 2011 +0200
@@ -105,8 +105,6 @@
   General/table.ML					\
   General/timing.ML					\
   General/url.ML					\
-  General/xml.ML					\
-  General/yxml.ML					\
   Isar/args.ML						\
   Isar/attrib.ML					\
   Isar/auto_bind.ML					\
@@ -158,6 +156,8 @@
   ML/ml_thms.ML						\
   PIDE/document.ML					\
   PIDE/isar_document.ML					\
+  PIDE/xml.ML						\
+  PIDE/yxml.ML						\
   Proof/extraction.ML					\
   Proof/proof_checker.ML				\
   Proof/proof_rewrite_rules.ML				\
isabelle