| 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 11:36:03 +0200 | wenzelm | more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap; | 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 18:15:25 +0200 | wenzelm | prefer explicit thread; | file | diff | annotate |
| Thu, 05 Sep 2013 22:08:25 +0200 | wenzelm | close window and start process asynchronously; | 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 |