| Tue, 15 Apr 2025 23:38:33 +0200 | wenzelm | update idea-icons: prefer scalable SVG; | changeset | files |
| Tue, 15 Apr 2025 21:32:50 +0200 | wenzelm | support for SVG icons via com.formdev.flatlaf.extras.FlatSVGIcon from flatlaf-extras (which is based on JSVG); | changeset | files |
| Tue, 15 Apr 2025 16:53:07 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Tue, 15 Apr 2025 12:27:53 +0200 | wenzelm | update to flatlaf-3.6, with native library support on all platforms; | changeset | files |
| Wed, 23 Apr 2025 17:32:06 +0200 | Manuel Eberl | injectivity results about sin, cos, cis | changeset | files |
| Wed, 23 Apr 2025 14:42:38 +0200 | Manuel Eberl | a few small lemmas for HOL and HOL-Analysis | changeset | files |
| Wed, 23 Apr 2025 01:38:06 +0200 | Manuel Eberl | some material on power series and infinite products | changeset | files |
| Tue, 22 Apr 2025 22:06:52 +0100 | paulson | merged | changeset | files |