[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 

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


More information about the isabelle-dev mailing list