isabelle: Changelog

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

wenzelm [Sun, 19 Apr 2015 21:49:24 +0200] rev 60186

proper isatest machine;

wenzelm [Sat, 23 May 2015 22:13:24 +0200] rev 60185

prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;

nipkow [Tue, 12 May 2015 08:48:11 +0200] rev 60184

this warning is hardly useful but produces noisy markers in the jedit interface

isabelle