| Thu, 20 Aug 2020 14:22:49 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 19 Aug 2020 20:14:41 +0200 | wenzelm | more realistic kodkod invocation, imitating command-line tool; | changeset | files |
| Wed, 19 Aug 2020 13:29:53 +0200 | wenzelm | update to kodkodi-1.5.4; | changeset | files |
| Tue, 18 Aug 2020 18:23:17 +0200 | wenzelm | rudiments of Scala interface for Kodkod; | changeset | files |