| Mon, 31 Aug 2020 16:48:31 +0200 | wenzelm | more informative bibtex errors; | changeset | files |
| Sun, 30 Aug 2020 21:21:04 +0100 | paulson | merged | changeset | files |
| Sun, 30 Aug 2020 19:45:46 +0100 | paulson | minor tidying, also s->S and t->T | changeset | files |
| Sun, 30 Aug 2020 15:15:28 +0000 | haftmann | more on conversions | changeset | files |
| Sat, 29 Aug 2020 16:30:33 +0100 | paulson | merged | changeset | files |
| Sat, 29 Aug 2020 16:30:22 +0100 | paulson | quite a bit of tidying | changeset | files |
| Fri, 28 Aug 2020 16:14:19 +0200 | wenzelm | more robust interpretation of data; | changeset | files |
| Fri, 28 Aug 2020 12:04:53 +0100 | paulson | merged | changeset | files |
| Fri, 28 Aug 2020 12:04:36 +0100 | paulson | small quantifier fixes | changeset | files |
| Thu, 27 Aug 2020 16:48:21 +0100 | paulson | just a bit of streamlining | changeset | files |
| Thu, 27 Aug 2020 15:23:48 +0100 | paulson | but not the [cong] rule | changeset | files |
| 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 |