Hi all,
In the coming days, I would like to discontinue support for old versions of
Kodkodi (Nitpick's Java backend). If you want to keep using Nitpick with the
development version, you might need to upgrade Kodkodi.
If you are lazy (in the positive C.S. sense of the term of course!), stop
reading this email now and come back to it if and when Nitpick stops working.
If you are eager, enter this line in an Isabelle theory
ML {* getenv "KODKODI_VERSION" *}
If it prints "1.2.9" or less, you should probably upgrade Kodkodi.
1. Download http://www4.in.tum.de/~blanchet/kodkodi-1.2.15.tgz
2. tar zxvf kodkodi-1.2.15.tgz
3. Modify the path to the Kodkodi component in "~/.isabelle/etc/components" or
"~/.isabelle/etc/settings".
If you have a standard Isabelle2009-2 package on your machine, you can skip
steps 1 and 2 and simply steal the Kodkodi version that's in "contrib". E.g. on
a Mac with standard paths, Kodkodi is here:
/Applications/Isabelle2009-2.app/Isabelle/contrib/kodkodi-1.2.13
This change is a hassle, but it will make it possible to get rid of some nasty
environment-variable hacking in Isabelle.
Thanks!
Jasmin
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
