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 63448 998acd66fbd7
parent 63429 baedd4724f08
child 63449 b3f6e81cd13b 
--- a/src/Pure/Thy/thy_header.scala	Mon Jul 11 18:30:07 2016 +0200
+++ b/src/Pure/Thy/thy_header.scala	Mon Jul 11 18:39:30 2016 +0200
@@ -45,8 +45,8 @@
       ("==", Keyword.no_spec, None),
       (AND, Keyword.no_spec, None),
       (BEGIN, Keyword.no_spec, None),
-      (IMPORTS, Keyword.no_spec, None),
-      (KEYWORDS, Keyword.no_spec, None),
+      (IMPORTS, Keyword.quasi_command_spec, None),
+      (KEYWORDS, Keyword.quasi_command_spec, None),
       (CHAPTER, (((Keyword.DOCUMENT_HEADING, Nil), Nil)), None),
       (SECTION, (((Keyword.DOCUMENT_HEADING, Nil), Nil)), None),
       (SUBSECTION, (((Keyword.DOCUMENT_HEADING, Nil), Nil)), None),
isabelle