wenzelm [Tue, 28 Feb 2023 20:29:44 +0100] rev 77416
clarified scope of "serial" and "numa_index" within database;
wenzelm [Tue, 28 Feb 2023 19:12:31 +0100] rev 77415
clarified signature: allow more general init, e.g. from existing database;
wenzelm [Tue, 28 Feb 2023 17:42:13 +0100] rev 77414
clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure;
wenzelm [Tue, 28 Feb 2023 17:16:50 +0100] rev 77413
tuned;
wenzelm [Tue, 28 Feb 2023 17:12:39 +0100] rev 77412
simplified somewhat pointless error message (see also 0189fe0f6452);
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;