isabelle: Changelog

blanchet [Mon, 20 Apr 2015 11:23:00 +0200] rev 60139

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

wenzelm [Sun, 19 Apr 2015 21:26:50 +0200] rev 60138

back to post-release mode -- after fork point;

blanchet [Sun, 19 Apr 2015 19:46:44 +0200] rev 60137

acknowledgment

blanchet [Sun, 19 Apr 2015 19:43:36 +0200] rev 60136

suppressed warnings

blanchet [Sun, 19 Apr 2015 19:29:38 +0200] rev 60135

updated docs, esp. relating to 'datatype_compat'

kleing [Sun, 19 Apr 2015 15:38:24 +0100] rev 60134

typo

wenzelm [Sat, 18 Apr 2015 23:43:30 +0200] rev 60133

clarified keywords for quasi-command spans and Sidekick structure;

wenzelm [Sat, 18 Apr 2015 21:13:05 +0200] rev 60132

merged

wenzelm [Sat, 18 Apr 2015 20:46:48 +0200] rev 60131

tuned;

wenzelm [Sat, 18 Apr 2015 20:44:55 +0200] rev 60130

clarified syntax diagram: 'obtains' does not allow prop_pat (although it could and should at some point);

isabelle