isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 tip

tuned messages;
7 days ago, by wenzelm
tuned headers;
7 days ago, by wenzelm
more to check;
7 days ago, by wenzelm
clarified names;
7 days ago, by wenzelm
clarified signature and modules;
7 days ago, by wenzelm
tuned;
7 days ago, by wenzelm
avoid conflict with slf4j from sqlite (see also dcddfe4f43a3), notably this message on "isabelle find_facts":
7 days ago, by wenzelm
misc tuning;
7 days ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
7 days ago, by wenzelm
tuned headers;
7 days ago, by wenzelm
tuned headers;
7 days ago, by wenzelm
more NEWS + CONTRIBUTORS;
7 days ago, by wenzelm
tuned comments;
7 days ago, by wenzelm
tool wrappers with specific java options, notably classpath "$SOLR_JARS";
8 days ago, by wenzelm
clarified options;
8 days ago, by wenzelm
proper component src/Tools/Find_Facts;
8 days ago, by wenzelm
components for find_facts;
8 days ago, by wenzelm
suppress duplicate slf4j-api --- already provided by sqlite;
8 days ago, by wenzelm
clarified solr settings;
8 days ago, by wenzelm
proper platform.exe;
8 days ago, by wenzelm
activate admin tools;
8 days ago, by wenzelm
original sources of find-facts 271b5af0c4c8;
8 days ago, by wenzelm
Simplified a lot of messy proofs
7 days ago, by paulson
compatibility with Scala 3
9 days ago, by haftmann
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
10 days ago, by haftmann
corrected
10 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
merged
11 days ago, by nipkow
added lemmas
11 days ago, by nipkow
discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880);
12 days ago, by wenzelm
more markup, notaly for LaTeX output: treat record fields as quasi-consts;
12 days ago, by wenzelm
tuned: more direct string comparison (see also 6e25f82056ad, where the explanation was actually wrong: about fast_string_ord instead of string_ord);
12 days ago, by wenzelm
update release name;
12 days ago, by wenzelm
Added tag Isabelle2025-RC0 for changeset bcb793b951c0
12 days ago, by wenzelm
proper NEWS section; Isabelle2025-RC0
13 days ago, by wenzelm
proper latin "A" instead of greek "Alpha";
13 days ago, by wenzelm
update to current jcef-1.0.61;
13 days ago, by wenzelm
recovered "isabelle component_jcef" from bf537a75e872, adapted to 9fe5d8c70352 and 2a99fcb283ee;
13 days ago, by wenzelm
tuned proofs;
2 weeks ago, by wenzelm
tuned proofs;
2 weeks ago, by wenzelm
more robust afp_repository, with regular hgweb URLs;
2 weeks ago, by wenzelm
more documentation;
2 weeks ago, by wenzelm
merged
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned (NB: string_ord is required here for its precedence on length);
2 weeks ago, by wenzelm
more robust: ensure that Nginx is not superseded by implicit Apache dependencies (Ubuntu 24.04);
2 weeks ago, by wenzelm
tuned NEWS;
2 weeks ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 tip

isabelle