| Thu, 01 Sep 2016 15:29:08 +0200 |
wenzelm |
clarified important directories;
|
file |
diff |
annotate
|
| Thu, 04 Feb 2016 16:30:01 +0100 |
wenzelm |
suppress ISABELLE_ROOT after init, to avoid conflict with ISABELLE_HOME when folding file names in "isabelle jedit" command-line tool;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2016 15:18:38 +0100 |
wenzelm |
provide server name uniformly on all platforms;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2015 13:42:31 +0200 |
wenzelm |
more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
|
file |
diff |
annotate
|
| Fri, 02 Oct 2015 16:56:46 +0200 |
wenzelm |
clarified init (again): isabelle.Main is responsible to provide basic JVM setup, jedit.jar picks this up (e.g. list of known fonts), plugin cannot be loaded in isolation without isabelle.Main;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2015 20:02:39 +0200 |
wenzelm |
uniform treatment of bootstrap directories;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 23:43:35 +0200 |
wenzelm |
clarified Isabelle_System.init;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 18:39:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 16:28:02 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 15:37:37 +0200 |
wenzelm |
build session within running jEdit;
|
file |
diff |
annotate
|
| Wed, 16 Sep 2015 22:09:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2015 11:32:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 Aug 2015 22:11:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 Aug 2015 20:47:53 +0200 |
wenzelm |
more version information;
|
file |
diff |
annotate
|
| Fri, 21 Aug 2015 17:59:54 +0200 |
wenzelm |
eliminated WinRun4J artifact;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 21:08:47 +0200 |
wenzelm |
clarified modules, like ML version;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 19:15:17 +0200 |
wenzelm |
tuned signature, according to ML version;
|
file |
diff |
annotate
|
| Fri, 19 Jun 2015 15:02:24 +0200 |
wenzelm |
uniform system_mode for build test: avoid spurious output_dir/log that is not required later;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 17:30:53 +0100 |
wenzelm |
added Untyped.method convenience (for *this* class only);
|
file |
diff |
annotate
|
| Wed, 07 May 2014 10:13:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 13:32:13 +0200 |
wenzelm |
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
|
file |
diff |
annotate
|
| Wed, 23 Apr 2014 13:28:32 +0200 |
wenzelm |
explicit Exn.error_message in accordance to Output.error_message in ML;
|
file |
diff |
annotate
|
| Wed, 23 Apr 2014 12:39:23 +0200 |
wenzelm |
more abstract Exn.Interrupt and POSIX return code;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:31:45 +0200 |
wenzelm |
avoid octal escape literals -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Wed, 30 Oct 2013 17:05:23 +0100 |
wenzelm |
more on file-system access;
|
file |
diff |
annotate
|
| Sat, 28 Sep 2013 13:50:38 +0200 |
wenzelm |
simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
|
file |
diff |
annotate
|
| Sat, 28 Sep 2013 13:40:33 +0200 |
wenzelm |
update second environment that is used for System.getenv(String);
|
file |
diff |
annotate
|
| Sat, 28 Sep 2013 12:55:33 +0200 |
wenzelm |
adhoc update of JVM environment variables, which is relevant for cold start of jEdit;
|
file |
diff |
annotate
|
| Thu, 26 Sep 2013 10:42:10 +0200 |
wenzelm |
initialize class immediately (potentially more robust);
|
file |
diff |
annotate
|
| Sat, 21 Sep 2013 16:44:31 +0200 |
wenzelm |
removed obsolete README;
|
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
|
| Tue, 10 Sep 2013 16:09:33 +0200 |
wenzelm |
discontinued obsolete command-line tool "isabelle build_dialog";
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 19:45:36 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 19:18:05 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 17:43:13 +0200 |
wenzelm |
observe "stopped" after Cygwin init (which is itself uninterruptible);
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 17:32:55 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 17:23:05 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 17:11:44 +0200 |
wenzelm |
Cygwin_Init based on System_Dialog;
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 15:28:16 +0200 |
wenzelm |
more robust exit;
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 15:10:33 +0200 |
wenzelm |
Build_Dialog based on System_Dialog;
|
file |
diff |
annotate
|
| Sat, 07 Sep 2013 00:02:19 +0200 |
wenzelm |
build session before start of jedit;
|
file |
diff |
annotate
|
| Fri, 06 Sep 2013 21:13:19 +0200 |
wenzelm |
warm start of Isabelle/jEdit from Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 05 Sep 2013 21:37:32 +0200 |
wenzelm |
more explicit cygwin_root (again) -- do not rely on isabelle_home as cwd;
|
file |
diff |
annotate
|
| Thu, 05 Sep 2013 21:11:16 +0200 |
wenzelm |
recovered cygwin.root from 1c87e79bb838;
|
file |
diff |
annotate
|
| Thu, 05 Sep 2013 20:19:22 +0200 |
wenzelm |
main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator;
|
file |
diff |
annotate
|
| Tue, 16 Jul 2013 14:10:10 +0200 |
wenzelm |
more self-contained application, with side-entry for init;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2013 18:06:48 +0200 |
wenzelm |
tuned signature -- concentrate GUI tools;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2013 17:58:47 +0200 |
wenzelm |
tuned signature -- concentrate GUI tools;
|
file |
diff |
annotate
|
| Thu, 10 Jan 2013 15:45:27 +0100 |
wenzelm |
prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 18:03:38 +0100 |
wenzelm |
moved files;
|
file |
diff |
annotate
| base
|