| Sat, 15 Feb 2025 16:12:29 +0100 | wenzelm | refrain from fancy GUI style (in contrast to 904b2144e9c5), which looks bad in Isabelle/VSCode; | file | diff | annotate |
| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |
| Sun, 02 Feb 2025 14:16:26 +0100 | wenzelm | clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity; | file | diff | annotate |
| Fri, 27 Dec 2024 19:49:45 +0100 | wenzelm | proper bullet symbols for GUI text -- in contrast to Isabelle \<bullet> 0x002219; | file | diff | annotate |
| Fri, 27 Dec 2024 17:30:59 +0100 | wenzelm | minor performance tuning; | file | diff | annotate |
| Fri, 27 Dec 2024 16:14:16 +0100 | wenzelm | clarified signature: more operations; | file | diff | annotate |
| Fri, 27 Dec 2024 15:59:08 +0100 | wenzelm | clarified signature; | file | diff | annotate |