| Mon, 05 Oct 2020 22:07:25 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 05 Oct 2020 21:15:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 18 Aug 2020 18:23:17 +0200 | wenzelm | rudiments of Scala interface for Kodkod; | file | diff | annotate |