tuned

tuned

clarified theory name; tuned;

New material from Bertrand's postulate (file Bertrand_Discrete_Sqrt), and tidied an old messy proof

tuned

removed some old ASCII syntax;

prefer context groups;

misc tuning and modernization;

prefer context groups;

more symbols;

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;

tuned signature;

improved chart plotting

augmented user aliasses

proper treatment of utf-8

tuned;

support for semantic completion;

generalized types in lemmas

updated package;

enable vscode_unicode_symbols by default, despite asymmetry of input and output;

more documentation;

generated configuration for Prettify Symbols Mode;

tuned;

clarified text output wrt. symbols;

merged

tuned signature;

support "purge" operation on document model;

proper template;

tuned;

accomodate very big file_models and changed_files;

tuned;