| Mon, 31 Jan 2022 10:01:50 +0100 | wenzelm | tuned -- fewer warnings; | changeset | files |
| Sat, 29 Jan 2022 15:24:05 +0000 | paulson | Added a tiny proof | changeset | files |
| Fri, 28 Jan 2022 16:15:28 +0000 | paulson | Deletion of a duplicate proof | changeset | files |
| Thu, 27 Jan 2022 12:25:24 +0000 | paulson | useful lemma integral_less | changeset | files |
| Thu, 27 Jan 2022 08:52:24 +0100 | desharna | merged | changeset | files |
| Wed, 26 Jan 2022 16:49:56 +0100 | desharna | removed unused parameter following f9908452b282 | changeset | files |
| Wed, 26 Jan 2022 14:05:36 +0100 | blanchet | treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis) | changeset | files |
| Tue, 25 Jan 2022 14:13:33 +0000 | paulson | fixed dodgy intro! attributes | changeset | files |