| Wed, 25 Sep 2013 16:52:51 +0200 |
blanchet |
robustness
|
changeset |
files
|
| Wed, 25 Sep 2013 16:43:46 +0200 |
blanchet |
thread through bound types
|
changeset |
files
|
| Wed, 25 Sep 2013 16:43:46 +0200 |
blanchet |
killed redundant argument
|
changeset |
files
|
| Wed, 25 Sep 2013 16:43:46 +0200 |
blanchet |
improved massaging of case expressions
|
changeset |
files
|
| Wed, 25 Sep 2013 16:43:46 +0200 |
blanchet |
filled in gap in library offering
|
changeset |
files
|
| Wed, 25 Sep 2013 16:29:35 +0200 |
wenzelm |
updated documentation concerning MacOSX plugin 1.3;
|
changeset |
files
|
| Wed, 25 Sep 2013 16:21:27 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 25 Sep 2013 16:05:40 +0200 |
wenzelm |
bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better;
|
changeset |
files
|
| Wed, 25 Sep 2013 15:40:34 +0200 |
wenzelm |
include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
|
changeset |
files
|
| Wed, 25 Sep 2013 15:26:19 +0200 |
wenzelm |
removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
|
changeset |
files
|
| Wed, 25 Sep 2013 15:49:15 +0200 |
nipkow |
merged
|
changeset |
files
|
| Wed, 25 Sep 2013 15:49:09 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Wed, 25 Sep 2013 14:28:10 +0200 |
blanchet |
break more conjunctions
|
changeset |
files
|
| Wed, 25 Sep 2013 14:21:18 +0200 |
blanchet |
move useful functions to library
|
changeset |
files
|
| Wed, 25 Sep 2013 13:39:34 +0200 |
panny |
merge
|
changeset |
files
|
| Wed, 25 Sep 2013 12:43:20 +0200 |
panny |
simplified code
|
changeset |
files
|