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/Isar/document_structure.scala
changeset 71165 03afc8252225
parent 70148 73a34cb9e67e
child 72814 51eec6d51882 
--- a/src/Pure/Isar/document_structure.scala	Mon Nov 25 12:41:52 2019 +0100
+++ b/src/Pure/Isar/document_structure.scala	Mon Nov 25 13:28:31 2019 +0100
@@ -27,6 +27,9 @@
   def is_document_command(keywords: Keyword.Keywords, command: Command): Boolean =
     command.span.is_kind(keywords, Keyword.document, false)
 
+  def is_diag_command(keywords: Keyword.Keywords, command: Command): Boolean =
+    command.span.is_kind(keywords, Keyword.diag, false)
+
   def is_heading_command(command: Command): Boolean =
     proper_heading_level(command).isDefined
isabelle