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