| Wed, 25 Apr 2012 14:19:53 +0200 | wenzelm | ISABELLE_JDK_HOME is already provided by isatest shell environment; | changeset | files |
| Wed, 25 Apr 2012 11:29:55 +0200 | wenzelm | added splash screen, to reduce confusion when waiting for main application to start up; | changeset | files |
| Wed, 25 Apr 2012 10:59:06 +0200 | wenzelm | move polyml within Cygwin /usr/local to simplify its rebasing; | changeset | files |
| Wed, 25 Apr 2012 10:24:41 +0200 | wenzelm | improved spelling; | changeset | files |