src/Tools/jEdit/src/jedit/scala_console.scala
Fri, 08 Jan 2010 00:47:10 +0100 wenzelm some attempts at Scala console plugin;
less more (0) tip