until naive Bayes supports weights, don't incorporate 'extra' low-weight features

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;

merged

updated to scala-2.11.1, with full uncensored classpath;

updated cygwin more thoroughly;

document property 'sel_map'

generate 'sel_map[simp]' theorem for (co)datatypes and tuning 'disc_map_iff'

merged

more uniform Font_Info.Zoom_Box; misc tuning and clarification;

added zoom box, like for outer output windows;

tuned signature;

consolidate "break_thm" and "break_term" attributes into "simp_break";

docs

added comment

move exhaust first, for technical reasons

avoid markup-generating @{make_string}

generalized Bochner integral over infinite sums

unused;

obsolete;

approximative update of versions;

incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time; discontinued pointless "isabelle graphview" command-line tool (Proof General legacy);

remove stray println;

CONTRIBUTORS

added naive Bayes ML implementation, due to Cezary Kaliszyk (like k-NN)

added Isabelle system option 'mash'

updated cygwin;

afford strict check (see also AFP/a8e08d947f0a);

add various lemmas

merged

merged