wenzelm [Tue, 15 Apr 2025 21:32:50 +0200] rev 82546
support for SVG icons via com.formdev.flatlaf.extras.FlatSVGIcon from flatlaf-extras (which is based on JSVG);
wenzelm [Tue, 15 Apr 2025 16:53:07 +0200] rev 82545
misc tuning and clarification;
wenzelm [Tue, 15 Apr 2025 12:27:53 +0200] rev 82544
update to flatlaf-3.6, with native library support on all platforms;
Manuel Eberl <eberlm@in.tum.de> [Wed, 23 Apr 2025 17:32:06 +0200] rev 82543
injectivity results about sin, cos, cis
Manuel Eberl <eberlm@in.tum.de> [Wed, 23 Apr 2025 14:42:38 +0200] rev 82542
a few small lemmas for HOL and HOL-Analysis
Manuel Eberl <eberlm@in.tum.de> [Wed, 23 Apr 2025 01:38:06 +0200] rev 82541
some material on power series and infinite products
paulson [Tue, 22 Apr 2025 22:06:52 +0100] rev 82540
merged
paulson [Tue, 22 Apr 2025 17:35:13 +0100] rev 82539
merged
paulson <lp15@cam.ac.uk> [Tue, 22 Apr 2025 17:35:02 +0100] rev 82538
More tidying and some variable renaming
Manuel Eberl <manuel@pruvisto.org> [Tue, 22 Apr 2025 19:02:33 +0200] rev 82537
dropped problematic code equation for multisets for RBT code testing