src/Pure/Isar/parse.scala

--- a/src/Pure/Isar/parse.scala	Sat Aug 13 13:42:35 2011 +0200
+++ b/src/Pure/Isar/parse.scala	Sat Aug 13 13:48:26 2011 +0200
@@ -50,7 +50,7 @@
       token(s, pred) ^^ (_.content)
 
     def keyword(name: String): Parser[String] =
-      atom(Token.Kind.KEYWORD.toString + " \"" + name + "\"",
+      atom(Token.Kind.KEYWORD.toString + " " + quote(name),
         tok => tok.kind == Token.Kind.KEYWORD && tok.content == name)
 
     def name: Parser[String] = atom("name declaration", _.is_name)