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 tip

preserved facts order in Sledgehammer's linear minimizer default tip
15 hours ago, by desharna
merged
25 hours ago, by wenzelm
more scalable;
26 hours ago, by wenzelm
more scalable;
27 hours ago, by wenzelm
more scalable output;
28 hours ago, by wenzelm
tuned document text;
34 hours ago, by wenzelm
more navigator positions, after BufferUpdate.LOADED and Buffer.CARET_POSITIONED (see also e48b3ddc4810);
36 hours ago, by wenzelm
pass "using" facts as parameters to metis in try0
33 hours ago, by desharna
clarified signature
34 hours ago, by desharna
proper command message for Sledgehammer's proof methods
34 hours ago, by desharna
merged
39 hours ago, by desharna
tuned metis_instantiate (import types, support unfixed variables)
3 days ago, by Lukas Bartl
merged
2 days ago, by wenzelm
merged
2 days ago, by wenzelm
update NEWS;
2 days ago, by wenzelm
proper painting of menu accelerator in dark mode;
2 days ago, by wenzelm
clarified patches;
2 days ago, by wenzelm
more uniform init_lafs();
2 days ago, by wenzelm
tuned signature, following 1033ed5d3972;
3 days ago, by wenzelm
update jedit component;
3 days ago, by wenzelm
tuned signature -- requires to update jedit component;
3 days ago, by wenzelm
tuned GUI -- requires to update jedit component;
3 days ago, by wenzelm
more accurate GUI painting;
3 days ago, by wenzelm
clarified GUI calculations for icons;
3 days ago, by wenzelm
tuned;
3 days ago, by wenzelm
more FlatLaf operations (following 35d176c50867) -- requires to update jedit component;
3 days ago, by wenzelm
more accurate GUI property (amending 49ca1a40c04a) -- requires to update jedit component;
3 days ago, by wenzelm
more accurate macOS L&F (see also efc58b56a6c7);
3 days ago, by wenzelm
provide FlatMac themes (see also FlatLaf 3.0);
3 days ago, by wenzelm
tuned imports;
3 days ago, by wenzelm
more FlatLaf operations;
3 days ago, by wenzelm
clarified signature;
3 days ago, by wenzelm
updated to jedit-20250417;
9 days ago, by wenzelm
tuned icons -- requires to update jedit component;
9 days ago, by wenzelm
tuned icons, notably for menus -- requires to update jedit component;
9 days ago, by wenzelm
bundle idea-icons-20250415 with jedit -- requires to update jedit component;
9 days ago, by wenzelm
bundle SVG tango icons with jedit -- requires to update jedit component;
9 days ago, by wenzelm
support scaled svg icons directly in GUIUtilities.loadIcon -- requires to update jedit component;
9 days ago, by wenzelm
update idea-icons: prefer scalable SVG;
10 days ago, by wenzelm
support for SVG icons via com.formdev.flatlaf.extras.FlatSVGIcon from flatlaf-extras (which is based on JSVG);
10 days ago, by wenzelm
misc tuning and clarification;
10 days ago, by wenzelm
update to flatlaf-3.6, with native library support on all platforms;
10 days ago, by wenzelm
injectivity results about sin, cos, cis
2 days ago, by Manuel Eberl
a few small lemmas for HOL and HOL-Analysis
2 days ago, by Manuel Eberl
some material on power series and infinite products
2 days ago, by Manuel Eberl
merged
3 days ago, by paulson
merged
3 days ago, by paulson
More tidying and some variable renaming
3 days ago, by paulson
dropped problematic code equation for multisets for RBT code testing
3 days ago, by Manuel Eberl
removed possible problematic dependency in HOL-Library.Multiset
3 days ago, by Manuel Eberl
HOL-Library: multisets of a given size
3 days ago, by Manuel Eberl
some facts about derivatives of products
3 days ago, by Manuel Eberl
more about formal convergence of power series
7 days ago, by Manuel Eberl
removed name clash in some lemmas
7 days ago, by Manuel Eberl
added orphaned theory to HOL-Analysis
7 days ago, by Manuel Eberl
some facts about power series
7 days ago, by Manuel Eberl
moved some lemmas to where they fit better
7 days ago, by Manuel Eberl
more efficient conversions for symbolic representations
4 days ago, by haftmann
notes on bit shift rewrites
5 days ago, by haftmann
explicit case rule
5 days ago, by haftmann

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

isabelle