tuned outline;
authorwenzelm
Fri Nov 07 23:35:13 2014 +0100 (2014-11-07)
changeset 589380c45680b7d9d
parent 58937 49e8115f70d8
child 58939 994fe0ba8335
tuned outline;
src/Pure/Isar/outer_syntax.scala
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Fri Nov 07 22:33:54 2014 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Fri Nov 07 23:35:13 2014 +0100
     1.3 @@ -251,7 +251,7 @@
     1.4        case "subsubsection" => Some(3)
     1.5        case _ =>
     1.6          keywords.command_kind(command.name) match {
     1.7 -          case Some(kind) if Keyword.theory(kind) => Some(4)
     1.8 +          case Some(kind) if Keyword.theory(kind) && kind != Keyword.THY_END => Some(4)
     1.9            case _ => None
    1.10          }
    1.11      }