2016-10-03 wenzelm 2016-10-03 clarified cold-start environment;
2016-10-03 wenzelm 2016-10-03 basic setup for Admin/build_history -- outside of Isabelle environment;
2016-10-03 wenzelm 2016-10-03 clarified: a variant of -i is the default, but its output is not as precise as it might seem;
2016-10-05 nipkow 2016-10-05 merged
2016-10-05 nipkow 2016-10-05 replaced floorlog by floor/ceiling(log .)
2016-10-05 fleury 2016-10-05 more multiset simp rules
2016-10-05 fleury 2016-10-05 tuned proof -- much faster
2016-10-03 haftmann 2016-10-03 proof of concept for algebraically founded word types
2016-10-03 haftmann 2016-10-03 more lemmas
2016-10-03 haftmann 2016-10-03 option to report results of solve_direct as explicit warnings
2016-10-03 haftmann 2016-10-03 modernized option
2016-10-03 haftmann 2016-10-03 CONTRIBUTORS
2016-10-03 hoelzl 2016-10-03 Probability: move some theorems from AFP/Density_Compiler
2016-10-03 hoelzl 2016-10-03 Probability: variant of central limit theorem with non-zero mean
2016-09-30 hoelzl 2016-09-30 HOL-Probability: more about probability, prepare for Markov processes in the AFP
2016-10-03 paulson 2016-10-03 Merge
2016-10-03 paulson 2016-10-03 new theorems including the theory FurtherTopology
2016-10-03 wenzelm 2016-10-03 clarified magic values (see also java/io/BufferedInputStream.java);
2016-10-03 wenzelm 2016-10-03 clarified stream operations; added XZ data compression;
2016-10-03 wenzelm 2016-10-03 tuned signature;
2016-10-03 wenzelm 2016-10-03 clarified modules; afford explicit string composition in terminate_lines;
2016-10-03 wenzelm 2016-10-03 more general read_stream: return actual byte count;
2016-10-02 wenzelm 2016-10-02 clarified modules;
2016-10-02 wenzelm 2016-10-02 more operations;
2016-10-02 wenzelm 2016-10-02 more operations;
2016-10-02 wenzelm 2016-10-02 more formal Mercurial support (with the potential to upgrade to command server);
2016-10-02 wenzelm 2016-10-02 tuned whitespace;
2016-10-02 wenzelm 2016-10-02 added isabelle_java cold-start executable;
2016-10-02 wenzelm 2016-10-02 updated according to 85c83757788c;
2016-10-02 wenzelm 2016-10-02 eliminated hard tabs;
2016-10-02 wenzelm 2016-10-02 updated headers;
2016-10-02 wenzelm 2016-10-02 updated to sumatra_pdf-3.1.2;
2016-10-02 wenzelm 2016-10-02 updated to xz-java-1.5;
2016-10-02 wenzelm 2016-10-02 updated cygwin according to 9416333a17c2, still using old 1.7.35-1;
2016-10-02 wenzelm 2016-10-02 tuned;
2016-10-02 wenzelm 2016-10-02 just one option is enough -- "isabelle jedit" java process may be prefixed directly in the shell;
2016-10-01 wenzelm 2016-10-01 options for process policy, notably for multiprocessor machines;
2016-10-01 wenzelm 2016-10-01 tuned;
2016-10-01 wenzelm 2016-10-01 tuned messages -- facilitate copy-paste;
2016-10-01 wenzelm 2016-10-01 merged
2016-10-01 wenzelm 2016-10-01 tuned;
2016-10-01 wenzelm 2016-10-01 tuned proofs;
2016-10-01 wenzelm 2016-10-01 Isar proof of Schroeder_Bernstein without using Hilbert_Choice (and metis);
2016-10-01 wenzelm 2016-10-01 clarified lfp/gfp statements and proofs;
2016-10-01 Lars Hupel 2016-10-01 repair LaTeX
2016-10-01 wenzelm 2016-10-01 misc tuning for release;
2016-10-01 wenzelm 2016-10-01 added lemma;
2016-09-30 paulson 2016-09-30 Trying out "subgoal", and no more [| |]
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: fix latex generation
2016-09-30 hoelzl 2016-09-30 Probability: fix proof
2016-09-30 hoelzl 2016-09-30 Library: fix name Product_plus to Product_Plus
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: move Product_Vector and Inner_Product from Library
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: move Continuum_Not_Denumerable from Library
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: move Library/Convex to Convex_Euclidean_Space
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: the image of a negligible set under a Lipschitz continuous function is negligible (based on HOL Light proof ported by L. C. Paulson)
2016-09-30 paulson 2016-09-30 new material on paths, etc. Also rationalisation
2016-09-30 Manuel Eberl 2016-09-30 Merged
2016-09-29 eberlm 2016-09-29 Set_Permutations replaced by more general Multiset_Permutations
2016-09-29 boehmes 2016-09-29 CONTRIBUTORS: new proof method "argo"
2016-09-29 boehmes 2016-09-29 NEWS: new proof method "argo"