haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 57022
tuned
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 57021
formal markup for public ingredients
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 57020
tuned
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 57019
dropped long-unused option
haftmann [Sun, 23 Feb 2014 10:33:43 +0100] rev 57018
avoid ad-hoc patching of generated code
wenzelm [Sat, 22 Feb 2014 22:06:10 +0100] rev 57017
tuned proofs;
wenzelm [Sat, 22 Feb 2014 21:38:26 +0100] rev 57016
support for semantic completion on Scala side;
wenzelm [Sat, 22 Feb 2014 20:56:50 +0100] rev 57015
clarified module location (again, see 763d35697338);
wenzelm [Sat, 22 Feb 2014 20:52:43 +0100] rev 57014
support for completion within the formal context;
tuned signature;
wenzelm [Sat, 22 Feb 2014 18:07:31 +0100] rev 57013
removed remains of old experiment (see b933142e02d0);