[isabelle-dev] ISABELLE_HOME/contrib vs. ISABELLE_HOME/..

Makarius makarius at sketis.net
Fri Dec 5 20:55:17 CET 2008

One hint on organizing local repository clones, and use them as (pseudo) 

Basically the default settings expect contributing components (polyml, 
ProofGeneral, etc.) either in ISABELLE_HOME/contrib or ISABELLE_HOME/.. 

This means one can easily avoid adding stuff to contrib inside the repos, 
where Mercurial will mark it as alien "?". Moreover, the same contrib 
components can be shared by multiple clones.

  # various clones of http://isabelle.in.tum.de/repos/isabelle

  # contrib stuff

With this layout there is no need to edit ~/.isabelle/etc/settings or 
create symlink etc.


More information about the isabelle-dev mailing list