tuned proofs;
refined language context: antiquotes;
support default completions, with move of caret position;
tuned signature;
tuned comment;
NEWS;
tuned signature;
removed dead code;
more complete patterns;
removed remains of old experiment (see b933142e02d0);
support for completion within the formal context;
tuned signature;
clarified module location (again, see 763d35697338);
support for semantic completion on Scala side;
tuned proofs;
avoid ad-hoc patching of generated code
dropped long-unused option
tuned
formal markup for public ingredients
tuned
more fine-grain notion of export
tuned
explicit option for "open" code generation
keep only identifiers public which are explicitly requested or demanded by dependencies