Thu, 08 Jul 2021 22:58:48 +0200 | Kevin Kappelmann | remove SpecCheck; it is now part of the AFP | changeset | files |
Thu, 08 Jul 2021 15:25:58 +0200 | desharna | merged | changeset | files |
Thu, 08 Jul 2021 15:10:52 +0200 | desharna | added documentation for changes to Sledgehammer option "lam_trans" | changeset | files |