README_REPOSITORY
2014-01-09 ago tuned;
2013-09-02 ago updated according to bceec99254b0;
2013-04-02 ago tuned;
2013-03-24 ago more "quick start" hints;
2013-02-01 ago standardized isabelle-server.in.tum.de;
2012-12-31 ago tuned;
2012-12-31 ago simplified quick start via "isabelle components -I";
2012-12-26 ago prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
2012-12-17 ago prefer implicit build_dialog of isabelle jedit;
2012-12-10 ago further clarification for Windows;
2012-12-10 ago some clarification for Windows;
2012-11-29 ago further update and clarification of the all-important 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.