| 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 |
| 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 13:23:37 +0200 | wenzelm | more robust executable path specifications; | file | diff | annotate |
| Mon, 15 Jul 2013 23:53:04 +0200 | wenzelm | recover Cygwin symlinks via Windows file-system operations; | file | diff | annotate |
| Mon, 15 Jul 2013 22:11:36 +0200 | wenzelm | Scala version of init.bat; | file | diff | annotate | base |