| 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 |