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
