wenzelm [Wed, 22 Oct 2025 18:06:39 +0200] rev 83336
update to flatlaf-3.6.2;
paulson [Wed, 22 Oct 2025 18:29:11 +0100] rev 83335
merged
paulson <lp15@cam.ac.uk> [Wed, 22 Oct 2025 18:29:06 +0100] rev 83334
Removed simp status from list_update_beyond
wenzelm [Wed, 22 Oct 2025 17:52:30 +0200] rev 83333
support specific host settings, e.g. for Java heap size;
enforce rebuild of Isabelle/ML;
wenzelm [Wed, 22 Oct 2025 17:19:34 +0200] rev 83332
proper ML_platform for recursive invocation of ML process, e.g. for "isabelle build -o ML_system_64 HOL-Library" without having non-64 Pure;
wenzelm [Wed, 22 Oct 2025 17:13:30 +0200] rev 83331
tuned terminology;
Fabian Huch <huch@in.tum.de> [Wed, 22 Oct 2025 11:20:00 +0200] rev 83330
tuned messages;
Fabian Huch <huch@in.tum.de> [Wed, 22 Oct 2025 10:31:50 +0200] rev 83329
update to javamail-20251022;
Fabian Huch <huch@in.tum.de> [Wed, 22 Oct 2025 10:20:57 +0200] rev 83328
update to find_facts_web-20251022 (roboto 5.2.8);
Fabian Huch <huch@in.tum.de> [Wed, 22 Oct 2025 10:14:56 +0200] rev 83327
update to solr-9.9.0 (schema 1.7);