diff -r e16649b70107 -r 8e46cea6a45a src/Pure/Isar/outer_syntax.scala
--- 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
         }
     }