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

Makarius makarius at sketis.net
Wed Jun 27 14:15:45 CEST 2012


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


More information about the isabelle-dev mailing list