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 -50 -24 +24 +50 +100 +300 tip

fixed a typo
4 months ago, by paulson
Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression
4 months ago, by paulson
tuned documentation and order of instantiated facts
4 months ago, by Lukas Bartl
merged
4 months ago, by wenzelm
update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html
4 months ago, by wenzelm
direct symbolic implementations of and, or, xor on integer
4 months ago, by haftmann
corrected
4 months ago, by haftmann
merged
4 months ago, by wenzelm
remove special cases for CVC4 that are actually unused (see also 6273d4c8325b and 1f1c5d85d232);
4 months ago, by wenzelm
rebuild cvc5 component (still inactive);
4 months ago, by wenzelm
tuned spacing
4 months ago, by desharna
merged
4 months ago, by desharna
tuned Sledgehammer caching
4 months ago, by desharna
Rename "suggest_of" to "instantiate"
4 months ago, by Lukas Bartl
merged
4 months ago, by nipkow
added lemmas
4 months ago, by nipkow
discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880);
4 months ago, by wenzelm
more markup, notaly for LaTeX output: treat record fields as quasi-consts;
4 months 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);
4 months ago, by wenzelm
update release name;
4 months ago, by wenzelm
Added tag Isabelle2025-RC0 for changeset bcb793b951c0
4 months ago, by wenzelm
proper NEWS section;
4 months ago, by wenzelm
proper latin "A" instead of greek "Alpha";
4 months ago, by wenzelm
update to current jcef-1.0.61;
4 months ago, by wenzelm

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

isabelle