README_REPOSITORY
2008-11-29 wenzelm 2008-11-29 Important notes on Mercurial repository access for Isabelle.