Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+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.
More proof tidying for Nominal
12 months ago, by paulson
Tidying up more messy proofs
12 months ago, by paulson
Starting to tidy HOL-Nominal-Examples
12 months ago, by paulson
sketch & explore: recover from duplicate fixed variables in Isar proofs
12 months ago, by Simon Wimmer
back to post-release mode -- after fork point;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
Added tag Isabelle2024-RC2 for changeset ef2134570abb
12 months ago, by wenzelm
Acknowledgement of Ata Keskin for his Martingales material
12 months ago, by paulson
merged
12 months ago, by wenzelm
update to jdk-21.0.3;
12 months ago, by wenzelm
merged
12 months ago, by paulson
Tidied up horrible archaic proofs
12 months ago, by paulson
clarified signature;
12 months ago, by wenzelm
make adhoc_overloading respect type constraints
12 months ago, by Kevin Kappelmann
merged
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
minor performance tuning: avoid redundant server access;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified modules and options (from store);
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
tip