README_REPOSITORY
2009-03-01 wenzelm minor update of Mercurial HOWTO;
2009-01-14 wenzelm tuned ASCII art;
2008-11-30 wenzelm fixed spelling;
2008-11-30 wenzelm tuned;
2008-11-30 wenzelm misc tuning and clarification;
2008-11-29 wenzelm tuned;
2008-11-29 wenzelm further notes;
2008-11-29 wenzelm Important notes on Mercurial repository access for Isabelle.
less more (0) tip