misc tuning and modernization;

isabelle update_cartouches -c -t;

more symbols via abbrevs;

tuned signature;

clarified classical rules;

misc tuning and updates according to Curry-Club Dec-2016;

added option -n, e.g. useful to generate Dockerfile only;

support for remote APP_ARCHIVE, with self-contained Dockerfile (e.g. for Docker Hub);

tuned -- nicer generated bash source;

afford approx. 10MB for curl, e.g. required for "isabelle components";

updated to jvm-1.8;

uniform use of ISABELLE_SCALAC_OPTIONS for scalac, notably for -Xmax-classfile-name on encrypted or docker file-systems;

clarified settings;

clarified signature: packages may be accessed in Isabelle/Scala;

tuned whitespace;

clarified packages (for z3);

proper tag syntax;

clarified packages; tuned message;

clarified packages;

more options;

do avoid suspicious Unicode;

more standard header; avoid suspicious Unicode;

build docker image from Isabelle application bundle for Linux;

tuned message;

Added Circle_Area to HOL-Analysis examples

tuned/minimized

added lemma

tuned whitespace;

more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;

tuned signature;