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

proper painting of menu accelerator in dark mode;
3 days ago, by wenzelm
clarified patches;
3 days ago, by wenzelm
more uniform init_lafs();
3 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;
10 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;
11 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
3 days ago, by Manuel Eberl
some material on power series and infinite products
3 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
4 days ago, by Manuel Eberl
some facts about derivatives of products
4 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
8 days ago, by Manuel Eberl
some facts about power series
8 days ago, by Manuel Eberl
moved some lemmas to where they fit better
8 days ago, by Manuel Eberl
more efficient conversions for symbolic representations
5 days ago, by haftmann
notes on bit shift rewrites
5 days ago, by haftmann
explicit case rule
6 days ago, by haftmann
more lemmas
6 days ago, by haftmann
more lemmas
6 days ago, by haftmann
explicit check for computations on word type
8 days ago, by haftmann
more tidying
8 days ago, by paulson
merged
9 days ago, by paulson
tidied more proofs
9 days ago, by paulson
removed duplicate lemmas
10 days ago, by Manuel Eberl
lots of lemmas for HOL, HOL-{Complex_}Analysis, HOL-Number_Theory
10 days ago, by Manuel Eberl
new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros
11 days ago, by Manuel Eberl
official theory for using bit shift operations for ordinary arithmetic if feasible
10 days ago, by haftmann
corrected operation
10 days ago, by haftmann
tuned whitespace
10 days ago, by haftmann
Simplified old proofs
10 days ago, by paulson
merged
11 days ago, by wenzelm
update to recent MSYS2 / MinGW, which also works via Cygwin;
11 days ago, by wenzelm

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

isabelle