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
+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.
systematic testing of arm64_32-darwin;
17 months ago, by wenzelm
more hardware details;
17 months ago, by wenzelm
update to polyml-219e0a248f70, with more robust support for ARM64;
17 months ago, by wenzelm
tuned generated README;
17 months ago, by wenzelm
merged
17 months ago, by paulson
Tidied up more messy proofs
17 months ago, by paulson
hints on "hg bisect";
17 months ago, by wenzelm
no hardwired timeout in Isabelle distribution (unlike on AFP): reverting part of 74c75da4cb01 -- without further tinkering it breaks isabelle_cronjob builds;
17 months ago, by wenzelm
Removal of ugly old proofs
17 months ago, by paulson
merged
17 months ago, by paulson
More cosmetic changes
17 months ago, by paulson
Cosmetic polishing of proofs
17 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-12
+12
+100
+300
+1000
+3000
tip