2015-12-23 agoNEWS;
wenzelm [Wed, 23 Dec 2015 17:35:07 +0100] rev 61922
NEWS;

2015-12-23 agotuned;
wenzelm [Wed, 23 Dec 2015 17:24:12 +0100] rev 61921
tuned;

2015-12-23 agomerged
wenzelm [Wed, 23 Dec 2015 16:43:31 +0100] rev 61920
merged

2015-12-23 agotuned module arrangement;
wenzelm [Wed, 23 Dec 2015 16:38:23 +0100] rev 61919
tuned module arrangement;

2015-12-23 agotuned module arrangement;
wenzelm [Wed, 23 Dec 2015 16:33:15 +0100] rev 61918
tuned module arrangement;

2015-12-23 agocheck and report source at most once, notably in body of "match" method;
wenzelm [Wed, 23 Dec 2015 14:40:18 +0100] rev 61917
check and report source at most once, notably in body of "match" method;

2015-12-23 agotransfer rule for bounded_linear of blinfun
immler [Wed, 23 Dec 2015 14:36:45 +0100] rev 61916
transfer rule for bounded_linear of blinfun

2015-12-22 agotheory for type of bounded linear functions; differentiation under the integral sign
immler [Tue, 22 Dec 2015 21:58:27 +0100] rev 61915
theory for type of bounded linear functions; differentiation under the integral sign

2015-12-22 agostripped some legacy
haftmann [Tue, 22 Dec 2015 15:39:01 +0100] rev 61914
stripped some legacy

2015-12-22 agotuned proofs and augmented some lemmas
haftmann [Tue, 22 Dec 2015 15:38:59 +0100] rev 61913
tuned proofs and augmented some lemmas