README_REPOSITORY
2012-08-17 webertj 2012-08-17 Typo fixed.
2012-08-17 wenzelm 2012-08-17 some explanations on isabelle components;
2012-07-25 wenzelm 2012-07-25 some updates on "Building a repository version of Isabelle";
2012-04-13 wenzelm 2012-04-13 misc tuning; atbroy100 no longer available (?);
2010-11-18 wenzelm 2010-11-18 some updates after 2 years of Mercurial usage;
2010-05-12 wenzelm 2010-05-12 updated some version numbers;
2010-03-04 wenzelm 2010-03-04 point to http://hginit.com/
2009-08-11 wenzelm 2009-08-11 clarified situation about unidentified repository versions -- in a distributed setting there is not "the" 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.