misc tuning and updates for release;

avoid duplicate message for @{action} in particular (see also @{action} within Pure);

more on indentation;

clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99);

clarified signature according to Scala version;

updated version for release;

proper result type (cf. b9f5cd845616);

recode Unicode text on the spot, e.g. from copy-paste of output;

support for workspace edits;

store document version;

auto update;

updated imports;

more documentation; tuned message;

more derived actions, according to jEdit/org/gjt/sp/jedit/gui/DockableWindowFactory.java;

proper tool name (cf. c1410bcf6e87);

proper standard_path to revert platform_path in JEdit_Sessions.session_base;

avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);

clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);

spelling

clarified signature: proper result;

tuned;

document incompatibility

real oracle

Using the "constant_on" operator

added lemmas

two new simp rules

added lemma

added lemma; zip_with -> map2

introduced zip_with

added lemma

clarified signature: proper result;

new theorem about exposed faces

back to post-release mode -- after fork point;

tuned;

Added tag Isabelle2017-RC2 for changeset e9d8ff531700

tuned;

updated for release;

tuned headers;

Lawrence Paulson's contributions

merged

Correction of typos and a bit of streamlining

listed contribution

Simplicial complexes and triangulations; Baire Category Theorem

updated for release;

removed obsolete session

more robust backend identification

correctly locate SMBC from Nunchaku

added/updated components