| Wed, 25 Apr 2012 15:13:03 +0200 |
wenzelm |
enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
|
changeset |
files
|
| Wed, 25 Apr 2012 14:30:42 +0200 |
wenzelm |
updated README;
|
changeset |
files
|
| Wed, 25 Apr 2012 14:29:15 +0200 |
wenzelm |
include generated application wrapper;
|
changeset |
files
|
| Wed, 25 Apr 2012 14:24:27 +0200 |
wenzelm |
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
|
changeset |
files
|
| 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
|
| Tue, 24 Apr 2012 20:55:09 +0200 |
blanchet |
made "split_last" more robust in the face of obscure low-level errors
|
changeset |
files
|
| Tue, 24 Apr 2012 20:55:09 +0200 |
blanchet |
removed confusing error
|
changeset |
files
|
| Tue, 24 Apr 2012 19:14:03 +0200 |
wenzelm |
some friendly message;
|
changeset |
files
|
| Tue, 24 Apr 2012 16:09:17 +0200 |
wenzelm |
merged
|
changeset |
files
|