Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
15
+15
+100
+300
+1000
+3000
+10000
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.
renaming Quotient_Set and List_Quotient_Set to Quotient_Cset and List_Quotient_Cset to avoid name clash with existing Quotient_Set (again, cf. 66823a0066db)
20111101, by bulwahn
merged
20111031, by bulwahn
more robust, declarative and unsurprising computation of types in the quotient type definition
20111031, by bulwahn
improve handling of bound type variables (esp. for TFF1)
20111031, by blanchet
improved TFF1 output
20111031, by blanchet
clarified signature
20111031, by bulwahn
tuned
20111031, by bulwahn
tuned
20111031, by bulwahn
even more uniform Local_Theory.declaration for locales (cf. 57def0b39696, aa35859c8741);
20111030, by wenzelm
removed obsolete argument (cf. aa35859c8741);
20111030, by wenzelm
removed adhoc simp rules sin_cos_eq[symmetric], minus_sin_cos_eq[symmetric], cos_sin_eq[symmetric]
20111030, by huffman
extend cancellation simproc patterns to cover terms like ' (2 * pi) < pi'
20111030, by huffman
merged
20111030, by huffman
remove unused function
20111029, by huffman
also export DFG formats
20111029, by blanchet
less
more

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