updated cygwin more thoroughly;
updated to scala-2.11.1, with full uncensored classpath;
merged
spell-checker completion is restricted to explicit mode, to avoid odd effects with immediate edits vs. delayed language context markup, and occasional delays due to dictionary lookup of many variants;
until naive Bayes supports weights, don't incorporate 'extra' low-weight features
shorten Sledgehammer output, as suggested by Andrei Popescu
tuning
reverted '|' features in MaSh -- these sounded like a good idea but never really worked
properly reconstruct helpers in Z3 proofs
compactified level discriminator
make MaSh Python the default when passing 'fact_filter = mash' without enabling the 'maSh' Isabelle system option
add self dependency to naive Bayes
disable weights that cause more harm than they help in kNN
properly mark relearns as dirty
avoid slow inspection of proof terms now that dependencies are stored in 'state'
another attempt to revive isatest -- reverting 801c01004a21;
include Nominal2 keywords -- Proof General legacy;
compactified
tuned: prefer separate function trails for locales and classes rather than ad-hoc case distinction
tuned signature