2014-06-26 blanchet refactoring
2014-06-26 blanchet removed experimental machine learning engine
2014-06-26 blanchet store string-to-index tables in memory
2014-06-26 blanchet disable 'extra' feature tainting for now
2014-06-26 blanchet tuning
2014-06-26 blanchet tuning
2014-06-26 blanchet tuning
2014-06-26 blanchet tuning
2014-06-26 blanchet tuning
2014-06-26 blanchet honor visible in SML naive Bayes
2014-06-26 blanchet honor visibility in SML k-NN
2014-06-26 blanchet got rid of a few experimental options
2014-06-26 blanchet tuning
2014-06-26 blanchet killed dead code
2014-06-26 blanchet avoid subscripting array with ~1
2014-06-26 blanchet killed dead data
2014-06-26 blanchet new version of adaptive k-NN with TFIDF
2014-06-26 blanchet refactoring
2014-06-26 blanchet tuning
2014-06-26 blanchet refactoring
2014-06-26 blanchet adaptive k-NN
2014-06-26 blanchet avoid parallelism, since it confuses the global state and leads to cheating (with 'sml_xxx' engines)
2014-06-26 blanchet generate right dependencies in MaSh driver
2014-06-23 wenzelm more on "Futures";
2014-06-23 wenzelm more on "Futures";
2014-06-21 wenzelm more on "Future values";
2014-06-21 wenzelm more on "Lazy evaluation";
2014-06-20 wenzelm more on syntax phases;
2014-06-19 wenzelm more on syntax phases;
2014-06-19 wenzelm tuned;
2014-06-19 wenzelm tuned;
2014-06-19 wenzelm tuned;
2014-06-19 wenzelm tuned;
2014-06-19 wenzelm tuned;
2014-06-18 wenzelm added screenshot;
2014-06-18 wenzelm tuned;
2014-06-18 wenzelm misc tuning;
2014-06-17 wenzelm added screenshot;
2014-06-17 wenzelm misc tuning;
2014-06-16 wenzelm formal check of jEdit actions;
2014-06-16 wenzelm more on "Completion";
2014-06-16 wenzelm more on "Completion";
2014-06-16 wenzelm tuned;
2014-06-16 wenzelm clarified role of old user interfaces as misc tools;
2014-06-16 wenzelm added Index;
2014-06-14 wenzelm more on "Completion";
2014-06-13 wenzelm more on "Completion";
2014-06-13 wenzelm tuned;
2014-06-13 wenzelm more on "Completion";
2014-06-12 wenzelm more on "Completion";
2014-06-11 wenzelm more on "Auxiliary files";
2014-06-11 wenzelm more on "Document model";
2014-06-09 wenzelm suppress index;
2014-06-09 wenzelm more on command-line invocation -- moved material from system manual;
2014-06-09 wenzelm clarified section structure;
2014-06-09 wenzelm clarified section structure;
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 tip