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