changeset 58938 | 0c45680b7d9d |
parent 58907 | 0ee3563803c9 |
child 59073 | dcecfcc56dce |
--- a/src/Pure/Isar/outer_syntax.scala Fri Nov 07 22:33:54 2014 +0100 +++ b/src/Pure/Isar/outer_syntax.scala Fri Nov 07 23:35:13 2014 +0100 @@ -251,7 +251,7 @@ case "subsubsection" => Some(3) case _ => keywords.command_kind(command.name) match { - case Some(kind) if Keyword.theory(kind) => Some(4) + case Some(kind) if Keyword.theory(kind) && kind != Keyword.THY_END => Some(4) case _ => None } }