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.
tuned proof: avoid z3 to make it work on arm64-linux;
14 months ago, by wenzelm
official support for arm64-linux, despite a few missing tools;
14 months ago, by wenzelm
discontinue unstable z3-4.4.1 for arm64-linux from Debian (in contrast to 796ae338eb9d and 87718883c8b9);
14 months ago, by wenzelm
proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment;
14 months ago, by wenzelm
update to scala-3.3.3;
14 months ago, by wenzelm
provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;
14 months ago, by wenzelm
update NEWS, following 0d7c7fe65638;
14 months ago, by Fabian Huch
provide cvc5-1.1.1 for testing --- still inactive;
14 months ago, by wenzelm
rebuild bash_process executables on current reference platforms, including native arm64-darwin;
14 months ago, by wenzelm
tuned NEWS, see also c62003e05e46;
14 months ago, by wenzelm
update NEWS, following ea1913c953ef;
14 months ago, by wenzelm
tuned whitespace according to jEdit mode parameters ":wrap=hard:maxLineLen=72:";
14 months ago, by wenzelm
more explicit NEWS (see 3648e9c88d0c);
14 months ago, by wenzelm
NEWS for a53287d9add3, 3e30ca77ccfe;
14 months ago, by wenzelm
add option for unify trace (now disabled by default as printing is excessive and rarely used);
14 months ago, by Fabian Huch
tuned unify trace option names;
14 months ago, by Fabian Huch
more scalable: avoid potentially expensive ordering of underlying key data type, e.g. in MESON.Cache of Naproche;
14 months ago, by wenzelm
updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
14 months ago, by wenzelm
merged
14 months ago, by nipkow
tuned name
14 months ago, by nipkow
new simplifier trace_op for tracing simproc calls
14 months ago, by nipkow
merged
14 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
14 months ago, by paulson
support Zipperposition's skolemization in generated Isar proofs
14 months ago, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
tip