README_REPOSITORY
2012-09-19 ago tuned;
2012-09-13 ago instructions for quick start in 20min;
2012-08-28 ago update on "isabelle build" and "isabelle build_doc";
2012-08-17 ago tuned;
2012-08-17 ago Backed out changeset ec82c33c75f8;
2012-08-17 ago Typo fixed.
2012-08-17 ago some explanations on isabelle components;
2012-07-25 ago some updates on "Building a repository version of Isabelle";
2012-04-13 ago misc tuning;
2010-11-18 ago some updates after 2 years of Mercurial usage;
2010-05-12 ago updated some version numbers;
2010-03-04 ago point to http://hginit.com/
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.