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.
merged
authorwenzelm
Sat, 13 Apr 2019 15:14:15 +0200
changeset 70149 5e60443f5ad4
parent 70147 1657688a6406 (current diff)
parent 70148 73a34cb9e67e (diff)
child 70150 cf408ea5f505
child 70161 4c3bb14f5c2b
merged
--- a/src/Pure/Isar/document_structure.scala	Sat Apr 13 08:43:33 2019 +0000
+++ b/src/Pure/Isar/document_structure.scala	Sat Apr 13 15:14:15 2019 +0200
@@ -24,6 +24,9 @@
     command.span.is_kind(keywords,
       kind => Keyword.theory(kind) && !Keyword.theory_end(kind), false)
 
+  def is_document_command(keywords: Keyword.Keywords, command: Command): Boolean =
+    command.span.is_kind(keywords, Keyword.document, false)
+
   def is_heading_command(command: Command): Boolean =
     proper_heading_level(command).isDefined
isabelle