| Sat, 09 Jan 2010 22:03:47 +0100 | wenzelm | bind "session"; | changeset | files |
| Sat, 09 Jan 2010 22:02:35 +0100 | wenzelm | export isabelle_system, e.g. for use via "session" in Isabelle/Scala interpreter; | changeset | files |
| Sat, 09 Jan 2010 21:31:59 +0100 | wenzelm | removed unused var plugin; | changeset | files |
| 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 |
| Fri, 08 Jan 2010 12:25:37 +0100 | wenzelm | added jEdit Console and Scala compiler; | changeset | files |