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

tuned whitespace in Nunchaku output

eliminate artifact of translation in printed Nunchaku model

nicer numeral output for nats and ints in Nunchaku

rephrased error

tweaked Nunchaku bounds

speed up proofs slightly

use right attribute separator in Nunchaku

parse length-0 enums as well in Nunchaku

extended and renamed Nunchaku's Kodkod bounds

repaired Nunchaku cache handing

added Kodkod-specific options to Nunchaku

tuning

better model parsing and display in Nunchaku

properly parenthesize copy types in Nunchaku

proper Bash escaping

more precise output for Nunchaku

added singular 'solver' option to Nunchaku

got rid of unsound and needless beta-reduction in Nunchaku frontend

tuned Nunchaku's output

updated parser for Nunchaku irrelevant output

use proper syntax with nunchaku tool

moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years

better duplicate detection

merged

adapted to better linear arith

more simp power and less incompleteness or arith

no fork of long-term test results: too complicated;

avoid depedency on FSet;

merged

introduced bst_wrt

less aggressive default position: prefer persistent defaults maintained by jEdit (amending 89c5bb2a2128);

tolerate more errors (cf. 1e5ae735e026);

tuned signature -- avoid warning during jEdit startup;

more thorough change of syntax style extender: jEdit.propertiesChanged invalidates buffer chunk cache;

updated for release;

Added tag Isabelle2017-RC1 for changeset 34b20f7236ea

proper URL;

VSCode extension for official Isabelle release;

auto update;

simplified README: this is for development version;

tuned;

tuned whitespace;

clarified startup sequence;

tuned signature;

more robust: provide docking framework via base plugin;

more robust;

tuned headers;

eliminated suspicious Unicode;

auto update;

more PIDE markup;