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

[Makarius]

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 
defaults.


 	Makarius