--- a/src/Pure/Isar/document_structure.scala Sat Apr 13 13:30:02 2019 +0200
+++ b/src/Pure/Isar/document_structure.scala Sat Apr 13 15:13:43 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