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
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 correct code generation for string literals
9 days ago, by haftmann
made lemma visible
9 days ago, by nipkow
fixed a typo
9 days ago, by paulson
Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression
9 days ago, by paulson
tuned documentation and order of instantiated facts
10 days ago, by Lukas Bartl
merged
10 days ago, by wenzelm
update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html
10 days ago, by wenzelm
direct symbolic implementations of and, or, xor on integer
11 days ago, by haftmann
corrected
11 days ago, by haftmann
merged
11 days ago, by wenzelm
remove special cases for CVC4 that are actually unused (see also 6273d4c8325b and 1f1c5d85d232);
11 days ago, by wenzelm
rebuild cvc5 component (still inactive);
11 days ago, by wenzelm
tuned spacing
11 days ago, by desharna
merged
11 days ago, by desharna
tuned Sledgehammer caching
11 days ago, by desharna
Rename "suggest_of" to "instantiate"
3 weeks ago, by Lukas Bartl
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
tip