Hi all, If you have installed Kodkodi for Nitpick and have update Isabelle in the last couple of minutes or so, you might eventually notice that Nitpick doesn't work anymore. There are two solutions to this problem:
1. Download http://www4.in.tum.de/~blanchet/kodkodi-1.2.4.tgz and edit your .isabelle/etc/components file to point to the "kodkodi-1.2.4" directory; or 2. Add a script called "bin/kodkodi" in the "kodkodi-1.2.3" directory consisting of the single line java de.tum.in.isabelle.Kodkodi.Kodkodi $@ This update is an annoyance, but it helps decoupling Isabelle and the Java interpreter invocation, so users can fiddle with the latter without having to recompile the former. Jasmin
