README_REPOSITORY
2009-03-01 wenzelm 2009-03-01 minor update of Mercurial HOWTO;
2009-01-14 wenzelm 2009-01-14 tuned ASCII art;
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.