Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
even more robust syntax (amending 122df1fde073);
authorwenzelm
Fri, 06 Oct 2017 21:23:21 +0200
changeset 66772 a66f11a0b5b1
parent 66771 925d10a7a610
child 66773 0cd29455a5e8
even more robust syntax (amending 122df1fde073);
src/Pure/Thy/thy_syntax.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_syntax.scala	Fri Oct 06 21:14:00 2017 +0200
+++ b/src/Pure/Thy/thy_syntax.scala	Fri Oct 06 21:23:21 2017 +0200
@@ -101,8 +101,11 @@
         else {
           val header = node.header
           val imports_syntax =
-            Outer_Syntax.merge(
-              header.imports.map(p => resources.session_base.node_syntax(nodes, p._1)))
+            if (header.imports.nonEmpty) {
+              Outer_Syntax.merge(
+                header.imports.map(p => resources.session_base.node_syntax(nodes, p._1)))
+            }
+            else resources.session_base.overall_syntax
           Some(imports_syntax + header)
         }
       nodes += (name -> node.update_syntax(syntax))
isabelle