| Thu, 24 Dec 2020 13:03:51 +0100 | wenzelm | more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort; | changeset | files |
| Thu, 24 Dec 2020 12:58:25 +0100 | wenzelm | more robust components_base: avoid fragile directory links on Windows (or Cygwin); | changeset | files |
| Thu, 24 Dec 2020 00:07:51 +0100 | wenzelm | more NEWS; | changeset | files |
| Wed, 23 Dec 2020 23:21:51 +0100 | wenzelm | merged | changeset | files |