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/System/build.scala
changeset 48867 e9beabf045ab
parent 48864 3ee314ae1e0a
child 48870 4accee106f0f 
--- a/src/Pure/System/build.scala	Mon Aug 20 15:43:10 2012 +0200
+++ b/src/Pure/System/build.scala	Mon Aug 20 17:05:53 2012 +0200
@@ -341,6 +341,7 @@
                   Outer_Syntax.init() +
                     // FIXME avoid hardwired stuff!?
                     ("theory", Keyword.THY_BEGIN) +
+                    ("ML_file", Keyword.THY_LOAD) +
                     ("hence", (Keyword.PRF_ASM_GOAL, Nil), "then have") +
                     ("thus", (Keyword.PRF_ASM_GOAL, Nil), "then show")
                 (Set.empty[String], init_syntax, Nil)
isabelle