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
-32
+32
+50
+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.
misc tuning;
8 days ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
8 days ago, by wenzelm
tuned headers;
8 days ago, by wenzelm
tuned headers;
8 days ago, by wenzelm
more NEWS + CONTRIBUTORS;
8 days ago, by wenzelm
tuned comments;
8 days ago, by wenzelm
tool wrappers with specific java options, notably classpath "$SOLR_JARS";
9 days ago, by wenzelm
clarified options;
9 days ago, by wenzelm
proper component src/Tools/Find_Facts;
9 days ago, by wenzelm
components for find_facts;
9 days ago, by wenzelm
suppress duplicate slf4j-api --- already provided by sqlite;
9 days ago, by wenzelm
clarified solr settings;
9 days ago, by wenzelm
proper platform.exe;
9 days ago, by wenzelm
activate admin tools;
9 days ago, by wenzelm
original sources of find-facts 271b5af0c4c8;
9 days ago, by wenzelm
Simplified a lot of messy proofs
8 days ago, by paulson
compatibility with Scala 3
10 days ago, by haftmann
more correct code generation for string literals
10 days ago, by haftmann
made lemma visible
10 days ago, by nipkow
fixed a typo
10 days ago, by paulson
Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression
10 days ago, by paulson
tuned documentation and order of instantiated facts
11 days ago, by Lukas Bartl
merged
11 days ago, by wenzelm
update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html
11 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
12 days ago, by wenzelm
remove special cases for CVC4 that are actually unused (see also 6273d4c8325b and 1f1c5d85d232);
12 days ago, by wenzelm
rebuild cvc5 component (still inactive);
12 days ago, by wenzelm
tuned spacing
12 days ago, by desharna
merged
12 days ago, by desharna
tuned Sledgehammer caching
12 days ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-32
+32
+50
+100
tip