| Sun, 27 Dec 2020 14:08:35 +0100 | wenzelm | follow Phabricator update 2020 Week 42; | changeset | files |
| Sun, 27 Dec 2020 14:04:27 +0100 | wenzelm | updated for release; | changeset | files |
| Sun, 27 Dec 2020 14:04:16 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 27 Dec 2020 13:52:55 +0100 | wenzelm | proper NEWS according to current situation; | changeset | files |
| Sun, 27 Dec 2020 13:49:03 +0100 | wenzelm | updated for release; | changeset | files |
| Sun, 27 Dec 2020 13:16:30 +0100 | wenzelm | tuned (see also b5333fc056da); | changeset | files |
| Fri, 25 Dec 2020 15:37:27 +0000 | paulson | A few more simprules for iff-reasoning | changeset | files |