| 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
|
| 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
|