On Fri, 14 Dec 2012, Lars Noschinski wrote:
Also, as far as discoverability of documentation goes, sticking it in
Admin/ between a number scripts which are mostly relevant to the Release
Maintainer ranks pretty low.
That is a misunderstanding of the purpose of Isabelle/Admin. As the name
already says it is for Isabelle/Admin information. De-facto I've been the
main maintainer of it, as of many other things now. It does not help to
fork-off shadow administrative structures elsewhere. It will dissipate
the little resources that we have.
And I am definitely not joining the Isabelle dis-unity wiki to do the
administrative things there.
I would like to add that there is also the config_tum repository, which
Florian created when he wanted administrative information neither in the
Wiki nor in the public Isabelle repository. I probably would have looked
there (as it contains some mira administration info), but never in the
Isabelle repository.
It is some minor progress to have such things that were outside any
repository in a second repository that is not the Isabelle one. At least
it is a proper repository, not a virtual whiteboard. The status of that
project is unknown to me nonetheless, and we have still many edits of
shared Unix directories where nobody really know what is or was happening
at some point.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
