diff -r 5d2835453ad3 -r c0f8aebfb43d src/Pure/Isar/completion.scala
--- a/src/Pure/Isar/completion.scala	Fri Feb 14 20:58:48 2014 +0100
+++ b/src/Pure/Isar/completion.scala	Fri Feb 14 21:06:20 2014 +0100
@@ -185,7 +185,7 @@
     line: CharSequence): Option[Completion.Result] =
   {
     val raw_result =
-      Scan.Parsers.parse(Scan.Parsers.keyword(abbrevs_lex), new Library.Reverse(line)) match {
+      Scan.Parsers.parse(Scan.Parsers.literal(abbrevs_lex), new Library.Reverse(line)) match {
         case Scan.Parsers.Success(reverse_a, _) =>
           val abbrevs = abbrevs_map.get_list(reverse_a)
           abbrevs match {