[isabelle-dev] Getting Nitpick to run on your repository

Makarius makarius at sketis.net
Wed Oct 28 15:35:51 CET 2009

On Wed, 28 Oct 2009, Jasmin Christian Blanchette wrote:

> 4. Add the path "/home/nipkow/isabelle/contrib/kodkodi-1.2.3" to the 
> bottom of the file "$ISABELLE_HOME/etc/components"

BTW, the new "component" concept is explain in the Isabelle system manual 
section 1.1.3.  In particular, users can add their own components in 
"$ISABELLE_HOME_USER/etc/components", without having to edit central 


More information about the isabelle-dev mailing list