| Fri, 02 May 2014 22:22:51 +0200 |
wenzelm |
fork Scala interpreter thread, independently of Swing_Thread;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 20:41:01 +0200 |
wenzelm |
clarified synchronization and exception handling;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 20:07:55 +0200 |
wenzelm |
more redirection;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 16:08:39 +0100 |
wenzelm |
added PIDE.snapshot, PIDE.rendering for convenience;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 18:50:41 +0200 |
wenzelm |
more robust System.getProperty with default;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2013 23:32:47 +0200 |
wenzelm |
more official initial class path according to sun.misc.Launcher;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2013 22:46:51 +0200 |
wenzelm |
provide main classpath again, notably for cold-start;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 20:17:04 +0100 |
wenzelm |
explicit module UTF8;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 20:43:07 +0200 |
wenzelm |
clarified directory content operations (similar to ML version);
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 23:37:54 +0200 |
wenzelm |
updated File.find_files;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 22:29:25 +0200 |
wenzelm |
more explicit java.io.{File => JFile};
|
file |
diff |
annotate
|
| Thu, 24 May 2012 21:46:11 +0200 |
wenzelm |
avoid scala.tools.nsc.Interpreter -- deprecated in scala-2.9.0;
|
file |
diff |
annotate
|
| Fri, 18 Nov 2011 21:50:50 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file |
diff |
annotate
| base
|