README_REPOSITORY
2010-11-18 wenzelm some updates after 2 years of Mercurial usage;
2010-05-12 wenzelm updated some version numbers;
2010-03-04 wenzelm point to http://hginit.com/
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