wenzelm [Mon, 28 Oct 2024 09:40:28 +0100] rev 81295
update to scala-3.3.4 LTS;
wenzelm [Mon, 28 Oct 2024 08:48:31 +0100] rev 81294
removed obsolete markup for "open_block" (see also d5ad89fda714): Isabelle/Scala directly supports XML.Elem pretty-printing;
paulson <lp15@cam.ac.uk> [Fri, 01 Nov 2024 14:10:52 +0000] rev 81293
Library material from Eberl's Parallel_Shear_Sort
paulson <lp15@cam.ac.uk> [Fri, 01 Nov 2024 12:15:53 +0000] rev 81292
Trying to clean up these horribly ugly old proofs, but the requirement of constructivity makes it very difficult
Manuel Eberl <manuel@pruvisto.org> [Thu, 31 Oct 2024 18:43:32 +0100] rev 81291
use automatically generated time function in HOL-Data_Structures.Selection
nipkow [Thu, 31 Oct 2024 15:46:53 +0100] rev 81290
merged
nipkow [Thu, 31 Oct 2024 15:46:33 +0100] rev 81289
better time_functions (let)
Fabian Huch <huch@in.tum.de> [Thu, 31 Oct 2024 14:58:53 +0100] rev 81288
less hidden configuration;
Fabian Huch <huch@in.tum.de> [Thu, 31 Oct 2024 14:56:59 +0100] rev 81287
proper passwordless smtp check: must be null;
blanchet [Thu, 31 Oct 2024 09:24:10 +0100] rev 81286
adjusted documentation