paulson <lp15@cam.ac.uk> [Tue, 30 Apr 2024 13:23:47 +0100] rev 80172
A little more tidying in Nominal
wenzelm [Fri, 03 May 2024 00:24:57 +0200] rev 80171
tuned proofs;
tuned whitespace;
wenzelm [Fri, 03 May 2024 00:07:51 +0200] rev 80170
merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;
wenzelm [Thu, 02 May 2024 15:40:05 +0200] rev 80169
Added tag Isabelle2024-RC3 for changeset 007e6af8a020
wenzelm [Thu, 02 May 2024 14:08:59 +0200] rev 80168
more documentation on "System registry via TOML";
wenzelm [Thu, 02 May 2024 04:38:10 +0200] rev 80167
update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS to make it work on Windows;
wenzelm [Wed, 01 May 2024 20:26:20 +0200] rev 80166
provide 3.1 for testing (inactive);
wenzelm [Wed, 01 May 2024 20:12:58 +0200] rev 80165
build e-3.1, without patch;
wenzelm [Wed, 01 May 2024 20:11:36 +0200] rev 80164
disable Isabelle/Naproche for now: does not quite work on Windows;
wenzelm [Wed, 01 May 2024 16:16:05 +0200] rev 80163
update and activate naproche component for release;