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
|