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
|