--- a/src/Pure/Isar/outer_syntax.scala Sat Oct 17 20:27:12 2015 +0200
+++ b/src/Pure/Isar/outer_syntax.scala Sat Oct 17 21:15:10 2015 +0200
@@ -240,9 +240,11 @@
case Thy_Header.SECTION | Thy_Header.HEADER => Some(1)
case Thy_Header.SUBSECTION => Some(2)
case Thy_Header.SUBSUBSECTION => Some(3)
+ case Thy_Header.PARAGRAPH => Some(4)
+ case Thy_Header.SUBPARAGRAPH => Some(5)
case _ =>
keywords.command_kind(name) match {
- case Some(kind) if Keyword.theory(kind) && !Keyword.theory_end(kind) => Some(4)
+ case Some(kind) if Keyword.theory(kind) && !Keyword.theory_end(kind) => Some(6)
case _ => None
}
}