| Thu, 27 Aug 2020 12:14:46 +0100 | paulson | tidying up some theorem statements | changeset | files |
| Thu, 27 Aug 2020 17:15:33 +0200 | wenzelm | initial Kodkod.warmup: preloading and basic integrity test; | changeset | files |
| Thu, 27 Aug 2020 17:05:59 +0200 | wenzelm | strict init of protocol handlers; | changeset | files |
| Thu, 27 Aug 2020 15:16:56 +0200 | wenzelm | clarified treatment of add-on prover_options; | changeset | files |
| Thu, 27 Aug 2020 13:06:58 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 27 Aug 2020 12:51:57 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 27 Aug 2020 12:43:06 +0200 | wenzelm | tuned; | changeset | files |