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
+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.
more focused use of Multithreading.interrupted: retain interrupts within task group boundary, without loss of information;
20110819, by wenzelm
clarified Future.cond_forks: more uniform handling of exceptional situations;
20110819, by wenzelm
Quotient_Examples: Cset, List_Cset: Lift Inf and Sup directly.
20110819, by Cezary Kaliszyk
merged
20110818, by huffman
define complex exponential 'expi' as abbreviation for 'exp'
20110818, by huffman
remove more bounded_linear locale interpretations (cf. f0de18b62d63)
20110818, by huffman
optimize some proofs
20110818, by huffman
add Multivariate_Analysis dependencies
20110818, by huffman
import Library/Sum_of_Squares instead of reloading positivstellensatz.ML
20110818, by huffman
declare euclidean_component_zero[simp] at the point it is proved
20110818, by huffman
Quotient Package: Regularization: do not fail if no progress is made, leave the subgoal to the user. Injection: try assumptions before extensionality to avoid looping.
20110819, by Cezary Kaliszyk
merged;
20110818, by wenzelm
merged
20110818, by huffman
remove bounded_(bi)linear locale interpretations, to avoid duplicating so many lemmas
20110818, by huffman
merged
20110818, by haftmann
less
more

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