wenzelm [Fri, 30 May 2014 12:54:42 +0200] rev 57128
merged
wenzelm [Fri, 30 May 2014 11:02:02 +0200] rev 57127
make double-sure that old popup is dismissed, before replacing it;
wenzelm [Fri, 30 May 2014 10:50:57 +0200] rev 57126
more robust bold_style, e.g. relevant for accidental \<^bold> before keyword;
blanchet [Fri, 30 May 2014 12:27:51 +0200] rev 57125
added another way of invoking Python code, for experiments
blanchet [Fri, 30 May 2014 12:27:51 +0200] rev 57124
make SML naive Bayes closer to Python version
blanchet [Fri, 30 May 2014 12:27:51 +0200] rev 57123
tuned whitespace, to make datatype definitions slightly less intimidating
blanchet [Fri, 30 May 2014 12:27:51 +0200] rev 57122
more work on exporter
blanchet [Fri, 30 May 2014 12:27:51 +0200] rev 57121
got rid of 'linearize' option
blanchet [Fri, 30 May 2014 12:27:51 +0200] rev 57120
extend exporter with new versions of MaSh
haftmann [Fri, 30 May 2014 08:23:08 +0200] rev 57119
tuned