Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
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.
ignore insitu contrib symlinks
20090616, by haftmann
datatype packages: record datatype_config for configuration flags; less verbose signatures
20090616, by haftmann
dropped ID
20090616, by haftmann
denominator should not be zero
20090616, by haftmann
tuned brackets for let expressions etc.
20090616, by haftmann
merged
20090616, by huffman
smult_dvd lemmas; polynomial gcd
20090616, by huffman
generalize lemmas dvd_mod and dvd_mod_iff to class semiring_div
20090615, by huffman
move lemma div_power into semiring_div context; class ring_div inherits from idom
20090615, by huffman
generalize many constants and lemmas from Convex_Euclidean_Space
20090613, by huffman
generalize lemma connected_real_lemma
20090613, by huffman
generalize lemmas
20090613, by huffman
replace uses of (bi)linear with bounded_(bi)linear
20090613, by huffman
new continuous/vimage lemmas; cleaned up proofs
20090613, by huffman
generalize constants netlimit and continuous
20090613, by huffman
generalize lemma Lim_unique to t2_space
20090613, by huffman
less ambitious ML_OPTIONS;
20090616, by wenzelm
another attempt to get a reduced atsmldeve test;
20090616, by wenzelm
added names, abbrevs;
20090616, by wenzelm
added completions;
20090616, by wenzelm
reorganized and abstracted version, via Set trait;
20090616, by wenzelm
Efficient scanning of literals.
20090616, by wenzelm
merged
20090615, by wenzelm
override toplevel "use" functions last;
20090615, by wenzelm
made SML/NJ happy;
20090615, by wenzelm
Quickcheck.random
20090615, by haftmann
authentic syntax for Pow and image
20090615, by haftmann
permissive code attribute; all_eqns
20090615, by haftmann
hide constant Quickcheck.random
20090615, by haftmann
more parallel stats;
20090615, by wenzelm
less
more

(0)
30000
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip