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

[Makarius]

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

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
  ~/isabelle/repos
  ~/isabelle/repos-foo
  ~/isabelle/repos-bar

  # contrib stuff
  ~/isabelle/polyml
  ~/isabelle/ProofGeneral
  ~/isabelle/E
  ...

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


	Makarius