blanchet [Wed, 25 Sep 2013 16:57:48 +0200] rev 53892
removed spurious recursion
blanchet [Wed, 25 Sep 2013 16:52:51 +0200] rev 53891
robustness
blanchet [Wed, 25 Sep 2013 16:43:46 +0200] rev 53890
thread through bound types
blanchet [Wed, 25 Sep 2013 16:43:46 +0200] rev 53889
killed redundant argument
blanchet [Wed, 25 Sep 2013 16:43:46 +0200] rev 53888
improved massaging of case expressions
blanchet [Wed, 25 Sep 2013 16:43:46 +0200] rev 53887
filled in gap in library offering
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;