blanchet [Wed, 11 Sep 2013 18:37:47 +0200] rev 54682
reintroduced 8d8f72aa5c0b, which does make a small difference in practice, but implemented more efficiently
blanchet [Wed, 11 Sep 2013 18:32:43 +0200] rev 54681
more (co)data docs
blanchet [Wed, 11 Sep 2013 17:17:58 +0200] rev 54680
more (co)data docs
blanchet [Wed, 11 Sep 2013 16:55:01 +0200] rev 54679
more (co)data docs
wenzelm [Wed, 11 Sep 2013 16:16:45 +0200] rev 54678
merged
wenzelm [Wed, 11 Sep 2013 15:54:53 +0200] rev 54677
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 54676
tuned signature;
wenzelm [Wed, 11 Sep 2013 15:30:12 +0200] rev 54675
tuned whitespace;
wenzelm [Wed, 11 Sep 2013 15:25:51 +0200] rev 54674
tuned message;
wenzelm [Wed, 11 Sep 2013 14:23:06 +0200] rev 54673
do not expose internal flags to attribute name space;