isabelle: Changelog

paulson <lp15@cam.ac.uk> [Tue, 21 Apr 2015 17:19:00 +0100] rev 60141

New material, mostly about limits. Consolidation.

kleing [Mon, 20 Apr 2015 13:46:36 +0100] rev 60140

be less specific about POLYML_HOME, take component setup instead

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

isabelle