Fri, 08 Jan 2010 12:25:37 +0100 | wenzelm | added jEdit Console and Scala compiler; | changeset | files |
Fri, 08 Jan 2010 00:47:10 +0100 | wenzelm | some attempts at Scala console plugin; | changeset | files |
Wed, 06 Jan 2010 23:46:00 +0100 | wenzelm | more precise treatment of document/state assigment; | changeset | files |