2010-03-04 ago point to
2009-08-11 ago clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
2009-03-01 ago minor update of Mercurial HOWTO;
2009-01-14 ago tuned ASCII art;
2008-11-30 ago fixed spelling;
2008-11-30 ago tuned;
2008-11-30 ago misc tuning and clarification;
2008-11-29 ago tuned;
2008-11-29 ago further notes;
2008-11-29 ago Important notes on Mercurial repository access for Isabelle.