changeset 67395 | b39d596b77ce |
parent 67381 | 146757999c8d |
child 67398 | 5eb932e604a2 |
--- a/NEWS Tue Jan 09 20:03:14 2018 +0100 +++ b/NEWS Tue Jan 09 20:15:36 2018 +0100 @@ -51,6 +51,10 @@ *** Isabelle/jEdit Prover IDE *** +* System options "spell_checker_include" and "spell_checker_exclude" +supersede former "spell_checker_elements" to determine regions of text +that are subject to spell-checking. Minor INCOMPATIBILITY. + * PIDE markup for session ROOT files: allows to complete session names, follow links to theories and document files etc.