Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
merged
10 months ago, by paulson
Better multiplication and division rules for ln and log
10 months ago, by paulson
ignore error code for "isabelle worker" (in contrast to eff08c3f89fe): avoid confusing "failed to work" messages via Build_Cluster.start;
10 months ago, by wenzelm
disable old tests;
10 months ago, by wenzelm
added lemma image_mset_diff_if_inj
10 months ago, by desharna
added lemma minus_add_mset_if_not_in_lhs[simp]
10 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
tip