| Wed, 19 Feb 2025 20:34:32 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Tue, 25 Feb 2025 15:54:41 +0100 | desharna | added lemmas monotone_on_sup_fun, monotone_on_inf_fun, antimonotone_on_sup_fun, antimonotone_on_inf_fun (thanks to Alexander Pach) | file | diff | annotate |
| Wed, 19 Feb 2025 11:11:14 +0100 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Thu, 13 Feb 2025 14:26:50 +0100 | wenzelm | expose bundle $ISABELLE_BROWSER_INFO_LIBRARY via HTTP; | file | diff | annotate |
| Sun, 09 Feb 2025 16:56:55 +0100 | wenzelm | tuned NEWS for release; | file | diff | annotate |
| Thu, 06 Feb 2025 16:20:52 +0000 | paulson | Minor lemma tweaking | file | diff | annotate |
| Mon, 03 Feb 2025 20:22:51 +0100 | wenzelm | merged | file | diff | annotate |
| Mon, 03 Feb 2025 19:53:13 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 03 Feb 2025 14:41:50 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 03 Feb 2025 13:17:37 +0100 | desharna | NEWS | file | diff | annotate |
| Mon, 03 Feb 2025 10:46:57 +0100 | desharna | added lemmas ex_terminating_rtranclp_strong and ex_terminating_rtranclp | file | diff | annotate |
| Mon, 03 Feb 2025 10:04:59 +0100 | desharna | added lemma strict_partial_order_wfp_on_finite_set | file | diff | annotate |
| Sun, 02 Feb 2025 17:11:45 +0100 | wenzelm | tuned spelling; | file | diff | annotate |
| Sun, 02 Feb 2025 17:05:06 +0100 | wenzelm | clarified NEWS: not user-relevant; | 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 |
| Sat, 01 Feb 2025 22:49:33 +0100 | wenzelm | merged; | file | diff | annotate |
| Sat, 01 Feb 2025 22:41:05 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Sat, 01 Feb 2025 22:13:49 +0100 | wenzelm | updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux; | file | diff | annotate |
| Sat, 01 Feb 2025 18:29:07 +0100 | Fabian Huch | more standard: let OS pick random port by default; | file | diff | annotate |
| Fri, 31 Jan 2025 23:03:45 +0100 | wenzelm | tuned NEWS; | file | diff | annotate |
| Fri, 31 Jan 2025 17:01:52 +0100 | Lukas Stevens | merged | file | diff | annotate |
| Fri, 31 Jan 2025 16:59:12 +0100 | Lukas Stevens | add hook to insert premises in the order solver | file | diff | annotate |
| Fri, 31 Jan 2025 16:23:53 +0100 | wenzelm | less NEWS (see also afae60d6ff15); | file | diff | annotate |
| Wed, 08 Jan 2025 15:19:37 +0100 | wenzelm | switch from CVC5 to cvc5, including updates of internal tool references; | file | diff | annotate |
| Tue, 28 Jan 2025 07:17:30 +0100 | haftmann | typo | file | diff | annotate |
| Mon, 27 Jan 2025 21:31:11 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Mon, 27 Jan 2025 12:13:37 +0100 | wenzelm | move theory "HOL-Library.Adhoc_Overloading" to Pure; | file | diff | annotate |
| Fri, 24 Jan 2025 10:56:59 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Fri, 24 Jan 2025 10:48:28 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Fri, 24 Jan 2025 10:22:17 +0100 | wenzelm | merged | file | diff | annotate |