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_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
