| Sat, 09 Jan 2010 18:25:48 +0100 | wenzelm | pass all jEdit jars to compiler as classpath -- to enable proper referencing of application name space; | changeset | files |
| Sat, 09 Jan 2010 00:49:51 +0100 | wenzelm | provide some bindings of jEdit values; | changeset | files |
| Fri, 08 Jan 2010 12:26:44 +0100 | wenzelm | more precise prompt etc.; | changeset | files |
| Fri, 08 Jan 2010 12:26:22 +0100 | wenzelm | define scala.home, for more robust startup of Scala tools, notably the compiler; | changeset | files |