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
haftmann [Fri, 30 May 2014 08:23:07 +0200] rev 57118
tuned signature
haftmann [Fri, 30 May 2014 08:23:07 +0200] rev 57117
terminating code equations