src/Pure/Isar/outer_syntax.scala
changeset 61463 8e46cea6a45a
parent 60694 b3fa4a8cdb5f
child 62244 5d513565749e
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Sat Oct 17 20:27:12 2015 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Sat Oct 17 21:15:10 2015 +0200
     1.3 @@ -240,9 +240,11 @@
     1.4        case Thy_Header.SECTION | Thy_Header.HEADER => Some(1)
     1.5        case Thy_Header.SUBSECTION => Some(2)
     1.6        case Thy_Header.SUBSUBSECTION => Some(3)
     1.7 +      case Thy_Header.PARAGRAPH => Some(4)
     1.8 +      case Thy_Header.SUBPARAGRAPH => Some(5)
     1.9        case _ =>
    1.10          keywords.command_kind(name) match {
    1.11 -          case Some(kind) if Keyword.theory(kind) && !Keyword.theory_end(kind) => Some(4)
    1.12 +          case Some(kind) if Keyword.theory(kind) && !Keyword.theory_end(kind) => Some(6)
    1.13            case _ => None
    1.14          }
    1.15      }