tuned;

added postorder

tuned

int version slicker

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;

tuned

separate instance for semidom_modulo

generalized definition

tuned output;

update File_Model based on file-system events;

tuned;

clarified modules; tuned;

tuned;

tuned signature;

merged

fix problems because of "surj" input abbreviation; tuned

hide global sum

gcd/lcm on finite sets

moved some lemmas to appropriate places

slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization

fixed LaTeX problems

Jordan Curve Theorem

Advanced topology

NEWS for VSCode;

merged

more documentation;

added node_name(String): imitate jEdit buffer operations; more uniform get_file_content for external source file references;

tuned;

tuned signature;

avoid immediate editor.flush on buffer events;

refer to internal File_Model instead of external file;

tuned;

resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;

tuned;

support for bibtex entries;

tuned;

tuned signature;

more explocit Document_Model.Content;

refer to bibtex entries via general Document_Model, instead of editor buffers;

clarified modules;

uniform Document.Model.node_edits (without void edits);

clarified check_thy_reader: check node_name here;

more uniform node_header (non-strict); removed dead code;

tuned signature;

tuned signature;

tuned;

clarified lazy text content;

Line.Document consists of independently allocated strings; tuned signature;

obsolete;

clarified buffer events: exit model while loading; misc tuning;

separate Buffer_Model vs. File_Model; misc tuning and clarification;

tuned;

tuned;

tuned;

manage buffer models as explicit global state; tuned signature;

tuned signature;

obsolete

more informative error for spurious crash;

merged

tuned;

dummy File_Watcher for Windows (spurious crashes seen on Windows 7);