| Wed, 09 Dec 2009 21:55:14 +0100 | wenzelm | simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway); | file | diff | annotate |
| Fri, 03 Jul 2009 21:14:46 +0200 | wenzelm | init/check Isabelle_System; | file | diff | annotate |
| Tue, 30 Jun 2009 21:19:32 +0200 | wenzelm | renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing; | file | diff | annotate |
| Tue, 30 Jun 2009 00:50:42 +0200 | wenzelm | more display; | file | diff | annotate |
| Sun, 28 Jun 2009 22:50:37 +0200 | wenzelm | improved display; | file | diff | annotate |
| Sun, 28 Jun 2009 22:35:23 +0200 | wenzelm | display some platform information; | file | diff | annotate |
| Sun, 28 Jun 2009 16:46:00 +0200 | wenzelm | sane platform look-and-feel; | file | diff | annotate |