| Fri, 21 Aug 2020 12:42:57 +0100 | paulson | reversing all the lex crap | changeset | files |
| Thu, 20 Aug 2020 21:56:28 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 20 Aug 2020 16:00:59 +0200 | wenzelm | merged | changeset | files |
| Thu, 20 Aug 2020 16:00:50 +0200 | wenzelm | preload library; | changeset | files |
| Thu, 20 Aug 2020 15:45:22 +0200 | wenzelm | update to kodkodi-1.5.4-1; | changeset | files |
| 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 |
| Tue, 18 Aug 2020 17:58:35 +0200 | wenzelm | updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala; | changeset | files |
| Thu, 20 Aug 2020 11:52:46 +0200 | blanchet | basic integration of Zipperposition 2.0 | changeset | files |
| Thu, 20 Aug 2020 11:52:45 +0200 | blanchet | tuned Mirabelle comments | changeset | files |
| Thu, 20 Aug 2020 10:39:26 +0100 | paulson | two more lex fixes | changeset | files |
| Wed, 19 Aug 2020 14:58:02 +0100 | paulson | more lex fixes | changeset | files |
| Wed, 19 Aug 2020 12:58:28 +0100 | paulson | Another go with lex: now lexordp back in class ord | changeset | files |