[isabelle-dev] Nitpick: Kodkodi update
jasmin.blanchette at gmail.com
Tue Nov 17 15:12:23 CET 2009
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"
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.
More information about the isabelle-dev