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/Thy/thy_header.scala
changeset 59736 5c1a0069b9d3
parent 59705 740a0ca7e09b
child 60215 5fb4990dfc73 
--- a/src/Pure/Thy/thy_header.scala	Tue Mar 17 15:21:41 2015 +0100
+++ b/src/Pure/Thy/thy_header.scala	Tue Mar 17 16:17:49 2015 +0100
@@ -60,7 +60,7 @@
   private val bootstrap_keywords =
     Keyword.Keywords.empty.add_keywords(bootstrap_header)
 
-  def bootstrap_syntax(): Outer_Syntax =
+  lazy val bootstrap_syntax: Outer_Syntax =
     Outer_Syntax.init().add_keywords(bootstrap_header)
isabelle