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 |