wenzelm [Sun, 23 Feb 2014 16:08:38 +0100] rev 55690
clarified stretch_point_range wrt. UTF-16 surrogates;
tuned;
wenzelm [Sun, 23 Feb 2014 15:38:21 +0100] rev 55689
tuned;
wenzelm [Sun, 23 Feb 2014 15:35:19 +0100] rev 55688
some rendering of completion range;
tuned;
wenzelm [Sun, 23 Feb 2014 14:39:51 +0100] rev 55687
clarified completion names;
tuned signature;
haftmann [Sun, 23 Feb 2014 10:44:57 +0100] rev 55686
NEWS and documentation, including correction of long-overseen "*"
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55685
regenerated
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55684
keep only identifiers public which are explicitly requested or demanded by dependencies
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55683
explicit option for "open" code generation
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55682
tuned
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55681
more fine-grain notion of export
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55680
tuned
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55679
formal markup for public ingredients
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55678
tuned
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55677
dropped long-unused option
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 55676
avoid ad-hoc patching of generated code