more portable -- accomodate MiKTeX on Windows;
more portable file names;
support for regular Windows TeX installation;
clarified copy_file: allow to rename base name, e.g. relevant for 'display_drafts';
tuned;
capitalize even more carefully (see 5ac67041ccf8), e.g. relevant for option "z3_non_commercial" and prospective "MaSh";
document '=:' syntax better
renamed 'MaSh' option
use '%x. x = C' as default discriminator for nullary constructor C, instead of relying on odd '=:' syntax
got rid of '=:' squiggly
changed '-:' to 'dead' in BNF
don't conceal (co)datatypes
don't generate discriminators and selectors for 'datatype_new' unless the user asked for it
updated naive Bayes
always remove duplicates in meshing + use weights for Naive Bayes
tuning
repaired subscript problem in SML kNN
tuning
enabled IDF for naive Bayes ML
optimized computation