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