Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+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.
update NEWS;
14 months ago, by wenzelm
activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;
14 months ago, by wenzelm
merged
14 months ago, by desharna
added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp]
14 months ago, by desharna
parallelize schedule optimization;
14 months ago, by Fabian Huch
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
14 months ago, by wenzelm
update to current long-term-support version dotnet-8.0.x;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
proper release bundle_name (amending 0e7dd3eaa6e8);
14 months ago, by wenzelm
more multiset lemmas
14 months ago, by blanchet
optional cartouche syntax and proper name printing in atp Isar output
14 months ago, by Simon Wimmer
merged
14 months ago, by desharna
removed unused variable
14 months ago, by desharna
added virtual, greedy portfolio for E 3.0
14 months ago, by desharna
tuned;
14 months ago, by wenzelm
tuned signature;
14 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
tip