| Mon, 04 Oct 2021 12:32:50 +0100 | paulson | new material from the Roth development, mostly about finite sets, disjoint famillies and partitions | changeset | files |
| Mon, 04 Oct 2021 15:01:50 +0200 | wenzelm | clarified and updated for release; | changeset | files |
| Mon, 04 Oct 2021 14:07:15 +0200 | wenzelm | formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc; | changeset | files |
| Mon, 04 Oct 2021 14:02:11 +0200 | wenzelm | more NEWS and CONTRIBUTORS; | changeset | files |
| Mon, 04 Oct 2021 13:53:41 +0200 | wenzelm | clarified comments; | changeset | files |
| Mon, 04 Oct 2021 13:39:38 +0200 | wenzelm | support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing); | changeset | files |