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
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 text
default
tip
26 minutes ago, by nipkow
Lots of new material chiefly about complex analysis
21 hours ago, by paulson
merged
46 hours ago, by paulson
More new theorems from the number theory development
46 hours ago, by paulson
merged
2 days ago, by wenzelm
proper orientation for right-associative operations;
2 days ago, by wenzelm
tuned signature;
2 days ago, by wenzelm
tuned signature;
2 days ago, by wenzelm
tuned signature;
2 days ago, by wenzelm
obsolete --- superseded by SHA1.Shasum operations;
2 days ago, by wenzelm
clarified signature, using right-associative operation;
2 days ago, by wenzelm
tuned whitespace;
2 days ago, by wenzelm
tuned --- implicit split;
2 days ago, by wenzelm
clarified signature;
2 days ago, by wenzelm
prefer explicit shasum: more robust due to explicit file names, which often work implicitly in LaTeX;
2 days ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
tip