| Wed, 08 Apr 2015 19:39:08 +0200 | wenzelm | proper context for Object_Logic operations; | file | diff | annotate |
| Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
| Fri, 31 Jan 2014 13:42:47 +0100 | blanchet | compile | file | diff | annotate |
| Fri, 31 Jan 2014 10:23:32 +0100 | blanchet | tuned ML file name | file | diff | annotate |
| Sat, 21 Dec 2013 09:44:30 +0100 | blanchet | compile + reduce problem size by a notch | file | diff | annotate |
| Wed, 12 Dec 2012 11:18:06 +0100 | blanchet | got rid of support for Kodkodi < 1.2.14 | file | diff | annotate |
| Thu, 30 Aug 2012 11:31:20 +0200 | blanchet | adjust example | file | diff | annotate |