isabelle: Changelog

wenzelm [Wed, 25 Sep 2013 16:29:35 +0200] rev 53886

updated documentation concerning MacOSX plugin 1.3;

wenzelm [Wed, 25 Sep 2013 16:21:27 +0200] rev 53885

merged

wenzelm [Wed, 25 Sep 2013 16:05:40 +0200] rev 53884

bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better;

wenzelm [Wed, 25 Sep 2013 15:40:34 +0200] rev 53883

include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;

wenzelm [Wed, 25 Sep 2013 15:26:19 +0200] rev 53882

removed obsolete cobra.jar, js.jar (see also 30de372ca56f); added MacOSX.jar based on SVN 23208 (essentially plugin version 1.3);

nipkow [Wed, 25 Sep 2013 15:49:15 +0200] rev 53881

merged

nipkow [Wed, 25 Sep 2013 15:49:09 +0200] rev 53880

tuned

blanchet [Wed, 25 Sep 2013 14:28:10 +0200] rev 53879

break more conjunctions

isabelle