| Sat, 16 Nov 2024 15:04:41 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 15 Nov 2024 23:25:18 +0100 | wenzelm | more NEWS; | changeset | files |
| Fri, 15 Nov 2024 23:20:24 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 15 Nov 2024 21:43:22 +0100 | wenzelm | merged | changeset | files |
| Fri, 15 Nov 2024 21:04:51 +0100 | wenzelm | enforce rebuild of Isabelle/ML and Isabelle/Scala; | changeset | files |
| Fri, 15 Nov 2024 20:48:41 +0100 | wenzelm | update to jedit-20241115 (see also ecd62f7b3644 and d92d754b5dd9); | changeset | files |
| Fri, 15 Nov 2024 20:44:49 +0100 | wenzelm | more patches for the sake of SideKick 1.8 vs. jEdit 5.7.0: provide missing GUIUtilities.isPopupTrigger, avoid StatusBar messages (which often don't fit); | changeset | files |