Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/completion.scala
changeset 55497 c0f8aebfb43d
parent 55492 28d4db6c6e79
child 55615 bf4bbe72f740 
--- 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 {
isabelle