isabelle: Changelog

wenzelm [Fri, 24 Apr 2015 16:12:20 +0200] rev 60196

tuned message, in accordance to ML side;

wenzelm [Fri, 24 Apr 2015 15:02:12 +0200] rev 60195

tuned settings to avoid sporadic crashes;

wenzelm [Fri, 24 Apr 2015 14:56:47 +0200] rev 60194

clarified settings for default Poly/ML version: test the actual Isabelle component;

blanchet [Wed, 22 Apr 2015 23:26:14 +0200] rev 60193

avoid binding warning in Nitpick

blanchet [Wed, 22 Apr 2015 19:52:29 +0200] rev 60192

doc

wenzelm [Wed, 22 Apr 2015 20:16:28 +0200] rev 60191

clarified permissions;

wenzelm [Wed, 22 Apr 2015 20:14:43 +0200] rev 60190

allow diagnostic proof commands with skip_proofs;

wenzelm [Wed, 22 Apr 2015 19:48:32 +0200] rev 60189

tuned signature;

wenzelm [Wed, 22 Apr 2015 18:43:33 +0200] rev 60188

updated polyml according to fixes-5.5.2 SVN version 2009;

blanchet [Mon, 20 Apr 2015 18:30:05 +0200] rev 60187

declare Nitpick atoms to avoid '??.' prefixes in output

isabelle