tuned signature;
authorwenzelm
Tue Mar 05 16:46:42 2019 +0100 (6 weeks ago ago)
changeset 70050f2c3512df446
parent 70049 ab993a273def
child 70051 0af6b4a5a7d9
tuned signature;
src/Pure/Isar/document_structure.scala
     1.1 --- a/src/Pure/Isar/document_structure.scala	Tue Mar 05 19:33:40 2019 +0100
     1.2 +++ b/src/Pure/Isar/document_structure.scala	Tue Mar 05 16:46:42 2019 +0100
     1.3 @@ -24,6 +24,9 @@
     1.4      command.span.is_kind(keywords,
     1.5        kind => Keyword.theory(kind) && !Keyword.theory_end(kind), false)
     1.6  
     1.7 +  def is_heading_command(command: Command): Boolean =
     1.8 +    proper_heading_level(command).isDefined
     1.9 +
    1.10    def proper_heading_level(command: Command): Option[Int] =
    1.11      command.span.name match {
    1.12        case Thy_Header.CHAPTER => Some(0)