| Wed, 20 May 2020 22:07:41 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 22 Apr 2020 18:16:27 +0200 |
wenzelm |
deprecated and obsolete;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2020 21:05:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 04 Apr 2020 18:13:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2017 20:29:00 +0100 |
wenzelm |
avoid println with its extra CR on Windows;
|
file |
diff |
annotate
|
| Fri, 27 Oct 2017 11:46:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 30 Jun 2017 14:19:37 +0200 |
wenzelm |
clarified platform file operations;
|
file |
diff |
annotate
|
| Fri, 19 May 2017 18:27:11 +0200 |
wenzelm |
more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;
|
file |
diff |
annotate
|
| Fri, 19 May 2017 18:10:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 14:33:53 +0100 |
wenzelm |
just one File.find_files, based on Java 7 Files operations;
|
file |
diff |
annotate
|
| Fri, 06 Nov 2015 18:15:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 03 Nov 2015 16:35:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 03 Aug 2014 17:17:59 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Tue, 22 Jul 2014 22:18:50 +0200 |
wenzelm |
some robustification of console output;
|
file |
diff |
annotate
|
| Tue, 22 Jul 2014 12:05:53 +0200 |
wenzelm |
more default imports;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 23:06:05 +0200 |
wenzelm |
more sensible interrupt of interpreter, when the user pushes Cancel button;
|
file |
diff |
annotate
|
| 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
|