src/Pure/Isar/parse.scala

--- a/src/Pure/Isar/parse.scala	Thu Mar 15 14:13:49 2012 +0100
+++ b/src/Pure/Isar/parse.scala	Thu Mar 15 14:22:54 2012 +0100
@@ -53,6 +53,7 @@
       atom(Token.Kind.KEYWORD.toString + " " + quote(name),
         tok => tok.kind == Token.Kind.KEYWORD && tok.content == name)
 
+    def string: Parser[String] = atom("string", _.is_string)
     def name: Parser[String] = atom("name declaration", _.is_name)
     def xname: Parser[String] = atom("name reference", _.is_xname)
     def text: Parser[String] = atom("text", _.is_text)