paulson <lp15@cam.ac.uk> [Mon, 27 Feb 2023 17:09:59 +0000] rev 77406
Importation of basic group theory results, due to Jakob von Raumer from his AFP entry Jordan-Hölder Theorem
wenzelm [Mon, 27 Feb 2023 20:51:47 +0100] rev 77405
tuned whitespace;
wenzelm [Mon, 27 Feb 2023 20:39:08 +0100] rev 77404
tuned;
wenzelm [Mon, 27 Feb 2023 20:30:40 +0100] rev 77403
clarified signature, although "sql" argument is de-facto mandatory;
wenzelm [Mon, 27 Feb 2023 20:25:10 +0100] rev 77402
tuned;
wenzelm [Mon, 27 Feb 2023 20:09:58 +0100] rev 77401
proper SQL (amending 7ab9bac1ca96);
wenzelm [Mon, 27 Feb 2023 15:31:19 +0100] rev 77400
clarified signature: more explicit "synchronized" regions;
wenzelm [Mon, 27 Feb 2023 15:25:46 +0100] rev 77399
more robust interrupt handling, notably for Build_Job.terminate();
wenzelm [Mon, 27 Feb 2023 15:09:59 +0100] rev 77398
clarified signature: works for general Build_Job;
wenzelm [Mon, 27 Feb 2023 15:02:14 +0100] rev 77397
tuned;