| Sun, 28 Jun 2009 15:01:28 +0200 | immler | fixed | changeset | files |
| Sun, 28 Jun 2009 17:55:44 +0200 | wenzelm | clarified "jars" target; | changeset | files |
| Sun, 28 Jun 2009 17:42:22 +0200 | wenzelm | produce self-contained isabelle-scala.jar; | changeset | files |
| Sun, 28 Jun 2009 16:59:43 +0200 | wenzelm | proper interpretation of Cygwin.config; | changeset | files |
| Sun, 28 Jun 2009 16:46:00 +0200 | wenzelm | sane platform look-and-feel; | changeset | files |
| Sun, 28 Jun 2009 16:01:52 +0200 | wenzelm | minimal GUI_Setup, which is the main class of Pure.jar; | changeset | files |
| Sun, 28 Jun 2009 15:39:51 +0200 | wenzelm | some more Cygwin checks; | changeset | files |