Thu, 01 Oct 2015 18:59:53 +0200 |
blanchet |
tuned documentation
|
changeset |
files
|
Thu, 01 Oct 2015 18:44:48 +0200 |
blanchet |
tuned datatype docs
|
changeset |
files
|
Thu, 01 Oct 2015 17:35:28 +0200 |
blanchet |
export proof method in signature
|
changeset |
files
|
Thu, 01 Oct 2015 17:32:07 +0200 |
blanchet |
export '_cmd' functions
|
changeset |
files
|
Wed, 30 Sep 2015 23:58:59 +0200 |
wenzelm |
back to old JavaAppLauncher to avoid initial startup problems (due to unsigned application?);
|
changeset |
files
|
Wed, 30 Sep 2015 23:54:22 +0200 |
wenzelm |
tuned GUI;
|
changeset |
files
|
Wed, 30 Sep 2015 23:37:20 +0200 |
wenzelm |
proper isabelle.root for bootstrap;
|
changeset |
files
|
Wed, 30 Sep 2015 23:22:27 +0200 |
wenzelm |
merged
|
changeset |
files
|
Wed, 30 Sep 2015 23:15:50 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 30 Sep 2015 22:01:17 +0200 |
wenzelm |
proper Cygwin.init (amending e00e1bf23d03);
|
changeset |
files
|
Wed, 30 Sep 2015 21:32:44 +0200 |
wenzelm |
renamed jvmpath to platform_path;
|
changeset |
files
|
Wed, 30 Sep 2015 21:05:14 +0200 |
wenzelm |
clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
|
changeset |
files
|