21 months ago wenzelm 2017-09-23 updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb);
21 months ago blanchet 2017-09-22 updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries
21 months ago wenzelm 2017-09-21 updated screenshots;
21 months ago wenzelm 2017-09-21 misc tuning and updates for release;
21 months ago wenzelm 2017-09-21 avoid duplicate message for @{action} in particular (see also @{action} within Pure);
21 months ago wenzelm 2017-09-21 more on indentation;
21 months ago wenzelm 2017-09-19 clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99);
21 months ago wenzelm 2017-09-19 clarified signature according to Scala version;
21 months ago wenzelm 2017-09-18 updated version for release;
21 months ago wenzelm 2017-09-18 proper result type (cf. b9f5cd845616);
21 months ago wenzelm 2017-09-18 recode Unicode text on the spot, e.g. from copy-paste of output;
21 months ago wenzelm 2017-09-18 support for workspace edits;
21 months ago wenzelm 2017-09-18 store document version;
21 months ago wenzelm 2017-09-18 auto update;
21 months ago wenzelm 2017-09-17 updated imports;
21 months ago wenzelm 2017-09-17 more documentation; tuned message;
21 months ago wenzelm 2017-09-16 more derived actions, according to jEdit/org/gjt/sp/jedit/gui/DockableWindowFactory.java;
21 months ago wenzelm 2017-09-16 proper tool name (cf. c1410bcf6e87);
21 months ago wenzelm 2017-09-16 proper standard_path to revert platform_path in JEdit_Sessions.session_base;
21 months ago wenzelm 2017-09-15 avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);
21 months ago wenzelm 2017-09-15 clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
21 months ago haftmann 2017-09-11 spelling
21 months ago wenzelm 2017-09-11 clarified signature: proper result;
21 months ago wenzelm 2017-09-09 tuned;
21 months ago blanchet 2017-09-22 document incompatibility
21 months ago blanchet 2017-09-22 real oracle
21 months ago paulson 2017-09-19 Using the "constant_on" operator
21 months ago nipkow 2017-09-17 added lemmas
21 months ago nipkow 2017-09-14 two new simp rules
21 months ago nipkow 2017-09-14 added lemma
21 months ago nipkow 2017-09-13 added lemma; zip_with -> map2
21 months ago nipkow 2017-09-12 introduced zip_with
21 months ago nipkow 2017-09-12 added lemma
21 months ago wenzelm 2017-09-11 clarified signature: proper result;
21 months ago paulson 2017-09-11 new theorem about exposed faces
21 months ago wenzelm 2017-09-08 back to post-release mode -- after fork point;
21 months ago wenzelm 2017-09-08 tuned;
21 months ago wenzelm 2017-09-08 Added tag Isabelle2017-RC2 for changeset e9d8ff531700
21 months ago wenzelm 2017-09-08 tuned;
21 months ago wenzelm 2017-09-08 updated for release;
21 months ago wenzelm 2017-09-08 tuned headers;
21 months ago paulson 2017-09-08 Lawrence Paulson's contributions
21 months ago paulson 2017-09-08 merged
21 months ago paulson 2017-09-08 Correction of typos and a bit of streamlining
21 months ago blanchet 2017-09-08 listed contribution
21 months ago paulson 2017-09-08 Simplicial complexes and triangulations; Baire Category Theorem
21 months ago wenzelm 2017-09-08 updated for release;
21 months ago blanchet 2017-09-08 removed obsolete session
21 months ago blanchet 2017-09-08 more robust backend identification
21 months ago blanchet 2017-09-08 correctly locate SMBC from Nunchaku
21 months ago blanchet 2017-09-08 added/updated components
21 months ago blanchet 2017-09-08 tuned whitespace in Nunchaku output
21 months ago blanchet 2017-09-08 eliminate artifact of translation in printed Nunchaku model
21 months ago blanchet 2017-09-08 nicer numeral output for nats and ints in Nunchaku
21 months ago blanchet 2017-09-08 rephrased error
21 months ago blanchet 2017-09-08 tweaked Nunchaku bounds
21 months ago blanchet 2017-09-08 speed up proofs slightly
21 months ago blanchet 2017-09-08 use right attribute separator in Nunchaku
21 months ago blanchet 2017-09-08 parse length-0 enums as well in Nunchaku
21 months ago blanchet 2017-09-08 extended and renamed Nunchaku's Kodkod bounds