Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+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 scalable: avoid potentially expensive ordering of underlying key data type, e.g. in MESON.Cache of Naproche;
10 months ago, by wenzelm
updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
10 months ago, by wenzelm
merged
10 months ago, by nipkow
tuned name
10 months ago, by nipkow
new simplifier trace_op for tracing simproc calls
10 months ago, by nipkow
merged
10 months ago, by paulson
Some new material about Ramsey's theorem, also sharpening the proof to deliver the Erdős–Szekeres upper bound on Ramsey numbers
10 months ago, by paulson
support Zipperposition's skolemization in generated Isar proofs
10 months ago, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
tip