Finally my Ctrl-R jline patch made it into scala! RT @mariofusco What's new in #Scala 2.9 http://www.scala-lang.org/node/9483