| 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 |
| Wed, 25 Apr 2012 00:57:41 +0200 | blanchet | added "no_atp"s for extremely prolific, useless facts for ATPs | changeset | files |
| Tue, 24 Apr 2012 23:22:40 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Apr 2012 23:03:59 +0200 | wenzelm | merged | changeset | files |