[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS

[Makarius]

On Wed, 27 Jun 2012, Florian Haftmann wrote:

> »/home/isabelle/contrib« is supposed to be »the« place finally

We need a chmod g+w here for the main directory here.  For each component 
directory, I would say the owner with full permissions is also the 
maintainer.

Since this is not under version control, the usual problems with Unix 
permissions etc. are to be anticipated.


 	Makarius