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
+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.
clarified output;
14 months ago, by wenzelm
support for global registry;
14 months ago, by wenzelm
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
14 months ago, by wenzelm
slightly less technical formulation of very specific type class
14 months ago, by haftmann
weakened dependency
14 months ago, by haftmann
explicit type class for discrete linordered semidoms
14 months ago, by haftmann
proper dummy timing entries;
14 months ago, by Fabian Huch
use only finished sessions in timing data;
14 months ago, by Fabian Huch
tuned;
14 months ago, by Fabian Huch
performance tuning for build schedule: explicit schedule generation, without mixing heuristics;
14 months ago, by Fabian Huch
performance tuning for build schedule: faster stopping;
14 months ago, by Fabian Huch
performance tuning for timing heuristic: pre-calculate graph operations;
14 months ago, by Fabian Huch
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
tip