README_REPOSITORY
2008-11-30 wenzelm 2008-11-30 fixed spelling; tuned;
2008-11-30 wenzelm 2008-11-30 tuned;
2008-11-30 wenzelm 2008-11-30 misc tuning and clarification;
2008-11-29 wenzelm 2008-11-29 tuned;
2008-11-29 wenzelm 2008-11-29 further notes; tuned;
2008-11-29 wenzelm 2008-11-29 Important notes on Mercurial repository access for Isabelle.