src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Tue Oct 21 19:20:48 2014 +0200
+++ b/src/Pure/Isar/token.scala	Tue Oct 21 20:18:37 2014 +0200
@@ -190,7 +190,7 @@
     source.startsWith(Symbol.open_decoded))
 
   def is_begin: Boolean = is_keyword && source == "begin"
-  def is_end: Boolean = is_keyword && source == "end"
+  def is_end: Boolean = is_command && source == "end"
 
   def content: String =
     if (kind == Token.Kind.STRING) Scan.Parsers.quoted_content("\"", source)