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 |