isabelle: Changelog

blanchet [Wed, 11 Sep 2013 18:37:47 +0200] rev 53545

reintroduced 8d8f72aa5c0b, which does make a small difference in practice, but implemented more efficiently

blanchet [Wed, 11 Sep 2013 18:32:43 +0200] rev 53544

more (co)data docs

blanchet [Wed, 11 Sep 2013 17:17:58 +0200] rev 53543

more (co)data docs

blanchet [Wed, 11 Sep 2013 16:55:01 +0200] rev 53542

more (co)data docs

wenzelm [Wed, 11 Sep 2013 16:16:45 +0200] rev 53541

merged

wenzelm [Wed, 11 Sep 2013 15:54:53 +0200] rev 53540

prefer explicit type constraint (again, see also Type.appl_error); pretty const with markup; clarified "the context";

wenzelm [Wed, 11 Sep 2013 15:42:05 +0200] rev 53539

tuned signature;

wenzelm [Wed, 11 Sep 2013 15:30:12 +0200] rev 53538

tuned whitespace;

wenzelm [Wed, 11 Sep 2013 15:25:51 +0200] rev 53537

tuned message;

wenzelm [Wed, 11 Sep 2013 14:23:06 +0200] rev 53536

do not expose internal flags to attribute name space;

isabelle