blanchet [Tue, 04 Dec 2012 23:19:03 +0100] rev 51371
added feature weights in MaSh
blanchet [Tue, 04 Dec 2012 23:19:02 +0100] rev 51370
promote local facts using a hack (for MaSh)
wenzelm [Tue, 04 Dec 2012 22:14:59 +0100] rev 51369
proper action labels, to make this appear in the "Shortcuts" panel, for example;
blanchet [Tue, 04 Dec 2012 19:10:14 +0100] rev 51368
turned off noisy MaSh features
blanchet [Tue, 04 Dec 2012 19:09:44 +0100] rev 51367
added MaSh learning to Mirabelle
blanchet [Tue, 04 Dec 2012 18:23:50 +0100] rev 51366
fixed bug in initialization of naive Bayes (MaSh)
blanchet [Tue, 04 Dec 2012 18:12:30 +0100] rev 51365
tuned MaSh exporter -- and don't make temp directories unless explicitly told so
blanchet [Tue, 04 Dec 2012 18:12:29 +0100] rev 51364
generalized MaSh exporter to sets of theories
hoelzl [Tue, 04 Dec 2012 18:00:40 +0100] rev 51363
remove SMT proofs in Multivariate_Analysis
hoelzl [Tue, 04 Dec 2012 18:00:37 +0100] rev 51362
prove tendsto_power_div_exp_0
* * *
missing rename