| Sat, 30 Oct 2021 19:41:09 +0200 | wenzelm | prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms; | changeset | files |
| Sat, 30 Oct 2021 19:23:01 +0200 | wenzelm | discontinued pointless check of kodkodi_version, it is implicit in the bundled component; | changeset | files |
| Sat, 30 Oct 2021 17:10:10 +0200 | wenzelm | tuned proofs -- avoid z3, which is unavailable on arm64-linux; | changeset | files |
| Sat, 30 Oct 2021 13:26:33 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 30 Oct 2021 13:12:22 +0200 | wenzelm | test version of prespective polyml-5.9; | changeset | files |
| Sat, 30 Oct 2021 12:26:56 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Sat, 30 Oct 2021 12:03:43 +0200 | wenzelm | updated for pre-5.9 testing; | changeset | files |