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/General/completion.scala
changeset 56564 94c55cc73747
parent 56278 2576d3a40ed6
child 56591 1a59587f46ec 
--- a/src/Pure/General/completion.scala	Sun Apr 13 19:55:16 2014 +0200
+++ b/src/Pure/General/completion.scala	Sun Apr 13 21:43:25 2014 +0200
@@ -91,7 +91,8 @@
     def + (entry: (String, Int)): History =
     {
       val (name, freq) = entry
-      new History(rep + (name -> (frequency(name) + freq)))
+      if (name == "") this
+      else new History(rep + (name -> (frequency(name) + freq)))
     }
 
     def ordering: Ordering[Item] =
isabelle