21 months ago paulson 2017-08-31 merged
21 months ago paulson 2017-08-31 more proof simplificaition
20 months ago wenzelm 2017-09-28 merged
20 months ago wenzelm 2017-09-27 maintain loaded_files for each theory;
20 months ago wenzelm 2017-09-27 clarified: more uniform results;
20 months ago wenzelm 2017-09-27 slightly more parallelism;
20 months ago wenzelm 2017-09-27 prefer sequential file-system access, but parallel parse;
20 months ago wenzelm 2017-09-27 tuned;
20 months ago wenzelm 2017-09-26 clarified pure_files, based on uniform loaded_files;
20 months ago wenzelm 2017-09-26 tuned;
20 months ago wenzelm 2017-09-26 tuned signature -- more readable output as Scala value;
20 months ago wenzelm 2017-09-26 more operations;
20 months ago blanchet 2017-09-26 strengthened reconstruction tactic
20 months ago wenzelm 2017-09-25 basic support for x86_64-cygwin;
20 months ago paulson 2017-09-25 Tiny presentational improvements to homeomorphic_punctured_sphere_affine_gen
20 months ago wenzelm 2017-09-25 back to post-release mode; updated package;
20 months ago wenzelm 2017-09-23 merged
20 months ago wenzelm 2017-09-23 Added tag Isabelle2017-RC3 for changeset 4f73201b8043
20 months ago wenzelm 2017-09-23 updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb);
20 months ago blanchet 2017-09-22 updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries
20 months ago wenzelm 2017-09-21 updated screenshots;
20 months ago wenzelm 2017-09-21 misc tuning and updates for release;
20 months ago wenzelm 2017-09-21 avoid duplicate message for @{action} in particular (see also @{action} within Pure);
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