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.
more ambitious parallelism (in contrast to a8ee8e4884ec): pri = 1 ensures that internal proof tasks are executed before the already forked theory outline with pri = 0;
20180424, by wenzelm
eliminated pointless special case (see also a8ee8e4884ec, c4c4c2f01723);
20180424, by wenzelm
proper datatype for 8bit characters
20180424, by haftmann
corrected nonsense
20180424, by haftmann
less ambitious parallelism: avoid problems with HOLProofs and threads=2 (congestion with many thousands futures and rather dense heap);
20180424, by wenzelm
clarified modules;
20180424, by wenzelm
tidied some horrid proofs
20180423, by paulson
del_max > split_max
20180423, by nipkow
Tidied a lot of messy proofs
20180422, by paulson
dont rename PQ.del_min
20180421, by nipkow
del_min > split_min
20180421, by nipkow
merged
20180420, by wenzelm
support for XZ.Cache;
20180420, by wenzelm
three new theorems
20180420, by paulson
merged
20180420, by wenzelm
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
less
more

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