Admin/README.repos
2004-04-16 ago describe how to work on Isabelle repository version