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
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.
optional cartouche syntax and proper name printing in atp Isar output
10 months ago, by Simon Wimmer
merged
10 months ago, by desharna
removed unused variable
10 months ago, by desharna
added virtual, greedy portfolio for E 3.0
10 months ago, by desharna
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
Added tag Isabelle2024-RC0 for changeset 98f009f56400
10 months ago, by wenzelm
updated for release;
10 months ago, by wenzelm
updated for release;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
misc tuning for release;
10 months ago, by wenzelm
tuned whitespace: avoid TABs;
10 months ago, by wenzelm
avoid suspicious Unicode;
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
tip