[isabelle-dev] Nitpick: Kodkodi update

Jasmin Blanchette jasmin.blanchette at gmail.com
Tue Nov 17 15:12:23 CET 2009


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




More information about the isabelle-dev mailing list