2 months ago wenzelm 2019-06-04 misc tuning and clarification, notably wrt. flow of context;
2 months ago wenzelm 2019-06-04 proper context;
2 months ago wenzelm 2019-06-04 proper Proof_Context.export_morphism corresponding to Proof_Context.augment (see 7f568724d67e);
2 months ago wenzelm 2019-06-03 more structural integrity;
2 months ago wenzelm 2019-06-03 tuned;
2 months ago wenzelm 2019-06-03 more structural integrity;
2 months ago wenzelm 2019-06-03 clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
2 months ago wenzelm 2019-06-03 tuned;
2 months ago wenzelm 2019-06-03 clarified signature;
2 months ago wenzelm 2019-06-03 tuned whitespace;
2 months ago wenzelm 2019-06-03 clarified context: prefer abstract Variable.auto_fixes;
2 months ago wenzelm 2019-06-03 tuned;
2 months ago wenzelm 2019-06-03 tuned signature;
2 months ago wenzelm 2019-06-03 redundant: default is false;
2 months ago wenzelm 2019-06-01 tuned imports -- accommodate scala-2.13.0-RC3;
2 months ago wenzelm 2019-06-01 tuned -- accommodate scala-2.13.0-RC3;
2 months ago wenzelm 2019-06-01 merged
2 months ago wenzelm 2019-06-01 Added tag Isabelle2019-RC4 for changeset ad2d84c42380 Isabelle2019
2 months ago wenzelm 2019-06-01 hint on printing via Web browser;
2 months ago wenzelm 2019-05-28 tuned;
2 months ago nipkow 2019-05-31 tuned proof
2 months ago nipkow 2019-05-31 tuned
2 months ago wenzelm 2019-05-27 merged
2 months ago wenzelm 2019-05-27 more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
2 months ago wenzelm 2019-05-27 tuned whitespace;
2 months ago wenzelm 2019-05-27 updated to bash_process-1.2.3: rebuild on current reference PLATFORMS;
3 months ago wenzelm 2019-05-25 Added tag Isabelle2019-RC3 for changeset 85de4fdec61b
3 months ago wenzelm 2019-05-24 more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation;
3 months ago wenzelm 2019-05-24 avoid extra subprocess -- potentially more robust on Cygwin;
3 months ago wenzelm 2019-05-24 updated to cygwin-20190524;
3 months ago wenzelm 2019-05-21 proper version;
3 months ago wenzelm 2019-05-19 tuned spelling;
3 months ago wenzelm 2019-05-19 more thorough assignment, e.g. when "purge" removes commands that were not assigned;
3 months ago wenzelm 2019-05-19 tuned whitespace;
3 months ago wenzelm 2019-05-18 tuned signature (following Scala version);
3 months ago wenzelm 2019-05-18 tuned;
3 months ago wenzelm 2019-05-14 obsolete (incompatible with Isabelle2019);
3 months ago immler 2019-05-13 amended to unoverload actually all parameters of a type variable
3 months ago wenzelm 2019-05-13 proper message;
3 months ago Lars Hupel 2019-05-22 Finite_Map: move lemmas from LambdaAuth AFP entry credits: Matthias Brun, Dmitriy Traytel
3 months ago krauss 2019-05-21 documentation for termination_simp attribute
3 months ago nipkow 2019-05-21 strengthened lemma
3 months ago nipkow 2019-05-20 tuned names
3 months ago nipkow 2019-05-16 tuned name
3 months ago nipkow 2019-05-16 tuned
3 months ago paulson 2019-05-15 a few general lemmas
3 months ago paulson 2019-05-15 Generalisations involving numerals; comparisons should now work for ennreal
3 months ago nipkow 2019-05-14 tuned
3 months ago nipkow 2019-05-14 tuned names
3 months ago nipkow 2019-05-12 tuned
3 months ago nipkow 2019-05-11 tuned
3 months ago wenzelm 2019-05-11 back to post-release mode;
3 months ago wenzelm 2019-05-11 Added tag Isabelle2019-RC2 for changeset 805250bb7363
3 months ago nipkow 2019-05-11 fixed theory name
3 months ago nipkow 2019-05-11 simplified types
3 months ago wenzelm 2019-05-10 clarified documentation;
3 months ago wenzelm 2019-05-10 more documentation;
3 months ago wenzelm 2019-05-09 merged
3 months ago wenzelm 2019-05-09 more NEWS;
3 months ago wenzelm 2019-05-09 tuned;