Tue, 22 Mar 2022 19:33:38 +0100 clarified modules;
wenzelm [Tue, 22 Mar 2022 19:33:38 +0100] rev 75305
clarified modules;
Tue, 22 Mar 2022 19:19:09 +0100 tuned signature;
wenzelm [Tue, 22 Mar 2022 19:19:09 +0100] rev 75304
tuned signature;
Wed, 23 Mar 2022 14:36:11 +0000 ... and removing Primrec from ROOT too
paulson <lp15@cam.ac.uk> [Wed, 23 Mar 2022 14:36:11 +0000] rev 75303
... and removing Primrec from ROOT too
Wed, 23 Mar 2022 14:22:56 +0000 Removal of the Primrec example in preparation for making it an AFP entry
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
Wed, 23 Mar 2022 10:54:22 +0100 merged
desharna [Wed, 23 Mar 2022 10:54:22 +0100] rev 75301
merged
Wed, 23 Feb 2022 08:43:44 +0100 avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
desharna [Wed, 23 Feb 2022 08:43:44 +0100] rev 75300
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
Mon, 14 Mar 2022 07:12:48 +0100 split veriT reconstruction into Lethe and veriT part
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
Tue, 22 Mar 2022 19:08:47 +0100 clarified options;
wenzelm [Tue, 22 Mar 2022 19:08:47 +0100] rev 75298
clarified options;
Tue, 22 Mar 2022 18:56:28 +0100 more robust errors -- on foreground process instead of background server;
wenzelm [Tue, 22 Mar 2022 18:56:28 +0100] rev 75297
more robust errors -- on foreground process instead of background server;
Tue, 22 Mar 2022 18:52:27 +0100 clarified options -l vs. -R;
wenzelm [Tue, 22 Mar 2022 18:52:27 +0100] rev 75296
clarified options -l vs. -R;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip