README_REPOSITORY
2009-08-11 wenzelm clarified situation about unidentified repository versions -- in a distributed setting there is not "the" 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