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
+15
+100
+300
+1000
+3000
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.
unused (see 15758fced053);
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
21 months ago, by wenzelm
proper umlauts;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned error message;
21 months ago, by wenzelm
merged
21 months ago, by desharna
merged
21 months ago, by desharna
moved antimono to Fun and redefined it as an abbreviation
24 months ago, by desharna
moved mono and strict_mono to Fun and redefined them as abbreviations
24 months ago, by desharna
clarified generic euclidean relation
21 months ago, by haftmann
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
21 months ago, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
tip