Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
updated to postgresql42.2.2, with more smooth support for Java 9/10;
20180420, by wenzelm
minimal Java source version for jdk10.0.1;
20180420, by wenzelm
workaround for jdk10.0.1;
20180420, by wenzelm
more robust, notably for jdk10.0.1 where jre is absent;
20180420, by wenzelm
moved lemma to more appropriate place
20180420, by haftmann
algebraic embeddings for bit operations
20180420, by haftmann
updated to jdk8u172;
20180419, by wenzelm
merged
20180419, by wenzelm
updated to jfreechart1.5.0, but retain bundled iText2.1.5.jar from jfreechart1.0.14 to avoid iText5/7 license complexity;
20180419, by wenzelm
tuning of a proof
20180419, by paulson
merged
20180419, by paulson
some simpler, cleaner proofs
20180419, by paulson
prefer explicit 32/64 bit platform settings;
20180419, by wenzelm
misc tuning and clarification;
20180419, by wenzelm
correction of TeX errors and other oversights
20180418, by paulson
Oops! Change_Of_Vars was not being imported to Analysis!
20180418, by paulson
tidying up including contributions from Paulo EmÃlio de Vilhena
20180418, by paulson
Change of variables proof
20180417, by paulson
merged
20180417, by paulson
Vitali covering theorem
20180417, by paulson
updated to xzjava1.8;
20180417, by wenzelm
updated windows_app to launch4j 3.11 and 7zsd_extra_171_3901.7z (reconstructed by Chris Lake);
20180417, by wenzelm
NEWS;
20180417, by wenzelm
updated to jedit5.5.0;
20180417, by wenzelm
more about measure
20180417, by paulson
some more random results
20180416, by paulson
more results about measure and negligibility
20180416, by paulson
explicit simp rules for computing abstract bit operations
20180416, by haftmann
more and generalized lemmas
20180415, by haftmann
quite a few more results about negligibility, etc., and a bit of tidying up
20180415, by paulson
merged
20180415, by paulson
a few more results
20180415, by paulson
added bottomup merge sort
20180415, by nipkow
various new results on measures, integrals, etc., and some simplified proofs
20180415, by paulson
more new theorems on real^1, matrices, etc.
20180414, by paulson
a few new theorems and some fixes
20180414, by paulson
new material about vec, real^1, etc.
20180414, by paulson
merged
20180413, by paulson
Probability builds with new definitions
20180413, by paulson
Analysis builds using set_borel_measurable_def, etc.
20180412, by paulson
merged
20180411, by paulson
replacement of set integral abbreviations by actual definitions!
20180411, by paulson
added lemma
20180413, by nipkow
avoid adding unnecessary quantified lemmas when embedding natural number terms into integer terms: quantified lemmas can cause Z3 to produce complex proofs that are hard to replay in Isabelle
20180411, by boehmes
merged
20180409, by paulson
A couple of new results
20180409, by paulson
Syntax for the special cases Min(A`I) and Max (A`I)
20180409, by paulson
removed dots at the end of (sub)titles
20180409, by nipkow
moved and renamed lemmas
20180408, by nipkow
Added binary set operations with joinbased implementation
20180408, by nipkow
more name tuning
20180408, by nipkow
better name; added binary operations
20180408, by nipkow
tuned
20180407, by nipkow
a first shot at tagging for HOLAnalysis manual
20180406, by immler
even more on bit operations
20180405, by haftmann
more bit operation conversions
20180404, by haftmann
more rules for numeral conversions;
20180403, by haftmann
tuned proofs and generalized some lemmas about limits
20180328, by huffman
tuned some proofs
20180328, by huffman
tuned some proofs about filters
20180328, by huffman
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
tip