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.
proper command-line;
16 months ago, by wenzelm
Tidying up another of the nominal examples
16 months ago, by paulson
More tidying of Nominal proofs
16 months ago, by paulson
Tidied up another messy theory
16 months ago, by paulson
More proof tidying for Nominal
16 months ago, by paulson
Tidying up more messy proofs
16 months ago, by paulson
Starting to tidy HOL-Nominal-Examples
16 months ago, by paulson
sketch & explore: recover from duplicate fixed variables in Isar proofs
16 months ago, by Simon Wimmer
back to post-release mode -- after fork point;
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
Added tag Isabelle2024-RC2 for changeset ef2134570abb
16 months ago, by wenzelm
Acknowledgement of Ata Keskin for his Martingales material
16 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
tip