isabelle: Changelog

wenzelm [Tue, 22 Mar 2022 20:06:41 +0100] rev 75306

tuned signature;

wenzelm [Tue, 22 Mar 2022 19:33:38 +0100] rev 75305

clarified modules;

wenzelm [Tue, 22 Mar 2022 19:19:09 +0100] rev 75304

tuned signature;

paulson <lp15@cam.ac.uk> [Wed, 23 Mar 2022 14:36:11 +0000] rev 75303

... and removing Primrec from ROOT too

paulson <lp15@cam.ac.uk> [Wed, 23 Mar 2022 14:22:56 +0000] rev 75302

Removal of the Primrec example in preparation for making it an AFP entry

desharna [Wed, 23 Mar 2022 10:54:22 +0100] rev 75301

merged

desharna [Wed, 23 Feb 2022 08:43:44 +0100] rev 75300

avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Mon, 14 Mar 2022 07:12:48 +0100] rev 75299

split veriT reconstruction into Lethe and veriT part

wenzelm [Tue, 22 Mar 2022 19:08:47 +0100] rev 75298

clarified options;

wenzelm [Tue, 22 Mar 2022 18:56:28 +0100] rev 75297

more robust errors -- on foreground process instead of background server;

isabelle