# HG changeset patch
# User wenzelm
# Date 1415399713 -3600
# Node ID 0c45680b7d9d9da994a40cd3a3201d34ad99370c
# Parent  49e8115f70d854ffc1ceaa755e99f3d0b37ab260
tuned outline;

diff -r 49e8115f70d8 -r 0c45680b7d9d src/Pure/Isar/outer_syntax.scala
--- 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
         }
     }