18 hours ago Lars Hupel 2018-10-23 Jenkins: delete obsolete profile default tip
34 hours ago Manuel Eberl 2018-10-22 Tagged some theories in HOL-Analysis
40 hours ago wenzelm 2018-10-22 proper chapter;
41 hours ago wenzelm 2018-10-22 tuned messages;
41 hours ago wenzelm 2018-10-22 tuned signature;
41 hours ago wenzelm 2018-10-22 tuned messages;
41 hours ago wenzelm 2018-10-22 more robust: check archive ident;
41 hours ago wenzelm 2018-10-22 misc tuning and clarification;
2 days ago Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
2 days ago wenzelm 2018-10-21 merged
2 days ago wenzelm 2018-10-21 more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST;
2 days ago wenzelm 2018-10-21 more portable tar_options;
2 days ago wenzelm 2018-10-21 check (non-)executable files -- and eliminate them manually from the repository)
2 days ago wenzelm 2018-10-21 eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting; eliminated "isabelle news"; roper title in NEWS.html; more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC; misc tuning and clarification;
2 days ago wenzelm 2018-10-21 tuned signature;
2 days ago wenzelm 2018-10-21 tuned signature;
2 days ago wenzelm 2018-10-21 updated PLATFORMS;
2 days ago nipkow 2018-10-21 uniform naming of strong congruence rules
2 days ago nipkow 2018-10-21 added lemma
3 days ago wenzelm 2018-10-20 update MacOSX plugin for Java 11;
5 days ago Lars Hupel 2018-10-18 Jenkins: run ghc_setup
5 days ago wenzelm 2018-10-18 clarified errors;
5 days ago wenzelm 2018-10-18 more robust: explicit version;
6 days ago wenzelm 2018-10-17 more robust: avoid implicit setup (with default resolver);
6 days ago wenzelm 2018-10-17 more portable;
6 days ago wenzelm 2018-10-17 proper path;
6 days ago wenzelm 2018-10-17 tuned;
6 days ago wenzelm 2018-10-17 merged
6 days ago wenzelm 2018-10-17 avoid strict evaluation of "isabelle_stack path --programs";
6 days ago wenzelm 2018-10-17 enforce settings that are likely to be outdated, e.g. in $ISABELLE_HOME_USER/etc/settings;
6 days ago wenzelm 2018-10-17 support for GHC via command-line tools;
6 days ago wenzelm 2018-10-17 tuned;
6 days ago wenzelm 2018-10-17 tuned message;
6 days ago wenzelm 2018-10-17 auto update;
6 days ago wenzelm 2018-10-17 isabelle_stack as portable shell function;
6 days ago wenzelm 2018-10-17 tuned;
6 days ago nipkow 2018-10-17 added Array files
6 days ago paulson 2018-10-17 new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml
6 days ago nipkow 2018-10-17 more intuitive and simpler (but slower) proofs
7 days ago Lars Hupel 2018-10-16 more material on finite maps
10 days ago wenzelm 2018-10-13 back to jdk-8u181: avoid degraded font-rendering of jdk-11 on Linux;
12 days ago nipkow 2018-10-11 added simp-lemma
2 weeks ago wenzelm 2018-10-09 allow to switch ISABELLE_OCAML_VERSION later on; simplified command-line: no user args;
2 weeks ago Lars Hupel 2018-10-09 merged
2 weeks ago Lars Hupel 2018-10-08 Jenkins: run ocaml_setup
2 weeks ago nipkow 2018-10-08 added simp-lemma
2 weeks ago wenzelm 2018-10-08 support for OCaml via command-line tools;
2 weeks ago wenzelm 2018-10-08 isabelle_opam as portable shell function;
2 weeks ago nipkow 2018-10-07 added Braun_Tree.thy
2 weeks ago wenzelm 2018-10-06 activate jdk-11
2 weeks ago wenzelm 2018-10-06 updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
2 weeks ago wenzelm 2018-10-06 updated to jdk-11: jre is only a symlink to jdk;
2 weeks ago wenzelm 2018-10-06 support for jdk-11;
2 weeks ago wenzelm 2018-10-06 updated to jdk-11;
2 weeks ago nipkow 2018-10-06 generalization due to Alexander Maletzky
2 weeks ago wenzelm 2018-10-05 discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
2 weeks ago nipkow 2018-10-05 more [simp]
2 weeks ago wenzelm 2018-10-04 avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
2 weeks ago paulson 2018-10-04 merged
2 weeks ago paulson 2018-10-04 updates to Algebra from Baillon and de Vilhena