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
-8
+8
+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.
properly incorporate running tasks into timing heuristic;
14 months ago, by Fabian Huch
clarified ready vs. next ready;
14 months ago, by Fabian Huch
introduced path heuristic abstraction;
14 months ago, by Fabian Huch
base abstract specification of NOT on recursive equation rather than bit projection
14 months ago, by haftmann
modernized, reordered, generalized
14 months ago, by haftmann
more correct type annotation
14 months ago, by haftmann
proper build with jdk-21 (amending 4fb5e6499da9);
14 months ago, by wenzelm
NEWS;
14 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
tip