Fri, 28 May 2010 21:17:59 +0200 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
Sat, 08 May 2010 21:08:30 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Tue, 30 Mar 2010 00:13:27 +0200 |
wenzelm |
adapted to Scala 2.8.0 Beta 1;
|
file |
diff |
annotate
|
Sun, 10 Jan 2010 21:08:23 +0100 |
wenzelm |
refrain from poking blink rate -- might get stuck in invisible state;
|
file |
diff |
annotate
|
Sun, 10 Jan 2010 15:42:31 +0100 |
wenzelm |
adhoc reset of blink rate;
|
file |
diff |
annotate
|
Sun, 10 Jan 2010 15:15:04 +0100 |
wenzelm |
provide global "Isabelle" within interpreter loop -- using import instead of val avoids pontential conflicts with later import isabelle.jedit._;
|
file |
diff |
annotate
|
Sat, 09 Jan 2010 23:28:52 +0100 |
wenzelm |
redirect scala.Console output during interpretation;
|
file |
diff |
annotate
|
Sat, 09 Jan 2010 22:03:47 +0100 |
wenzelm |
bind "session";
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Sat, 09 Jan 2010 00:49:51 +0100 |
wenzelm |
provide some bindings of jEdit values;
|
file |
diff |
annotate
|
Fri, 08 Jan 2010 12:26:44 +0100 |
wenzelm |
more precise prompt etc.;
|
file |
diff |
annotate
|
Fri, 08 Jan 2010 00:47:10 +0100 |
wenzelm |
some attempts at Scala console plugin;
|
file |
diff |
annotate
|