wenzelm [Tue, 28 Feb 2023 16:25:23 +0100] rev 77411
clafified signature: simplify object-oriented reuse;
wenzelm [Tue, 28 Feb 2023 14:20:57 +0100] rev 77410
revert pointless 375c6b9ce9ea: overall thread context is already uninterruptible (see 54ac957c53ec);
wenzelm [Tue, 28 Feb 2023 14:13:50 +0100] rev 77409
tuned whitespace;
paulson [Tue, 28 Feb 2023 11:20:01 +0000] rev 77408
merged
paulson <lp15@cam.ac.uk> [Tue, 28 Feb 2023 11:19:47 +0000] rev 77407
Fixed a presentation error
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;
wenzelm [Mon, 27 Feb 2023 14:57:39 +0100] rev 77396
clarified modules;