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