prefere standard Isabelle/Scala operation, with fixed locale;
added spell-checker based on jortho-1.0;
made mult_pos_pos a simp rule
more operations and lemmas
markup for prose words within formal comments;
added bad_words;
more explicit language and locale;
added spell-checker options;
support for rendering bad words;
more general spell_checker_elements;
some case-mangling;
clarified use of locale;
more spell_checker_elements;
tuned color;
NEWS;
merged
clarified according to ML version;
updated to jortho-1.0-1: dictionaries from SCOWL 7.1, with parameters like aspell;
simplified dictionary file format;
tuned signature;
tuned signature -- explicit Spell_Checker_Variable;
added dictionaries_selector GUI;
tuned;
tuned rendering -- avoid overlap with squiggly underline;
more elementary notion of "word" (similar to VoxSpell) -- treat hyphen as separator;
special treatment for '' ligature in TeX, which counts as word separator
tuned signature;