Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
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.
tuned whitespace
3 days ago, by haftmann
reorganized more code-only operations
3 days ago, by haftmann
more qualified auxiliary operations
5 days ago, by haftmann
Sylvestre's correction to ex_least_nat_le and other tidying
8 days ago, by paulson
New lemmas for floor/ceiling/round, plus tidying
9 days ago, by paulson
prefer already existing operation to calculate minimum
10 days ago, by haftmann
some more lemmas
10 days ago, by haftmann
tuned syntax
10 days ago, by haftmann
latex error
11 days ago, by nipkow
HOL: minor additions regarding linear algebra
12 days ago, by Manuel Eberl
HOL-Combinatorics: more lemmas about permutations
12 days ago, by Manuel Eberl
merged
13 days ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
tip