README_REPOSITORY
11 months ago wenzelm 2017-10-03 prefer Cygwin64, although some components still require update;
11 months ago wenzelm 2017-10-02 more documentation;
24 months ago wenzelm 2016-10-01 tuned;
2016-07-14 wenzelm 2016-07-14 prefer curl: presumably more portable and versatile;
2014-01-09 wenzelm 2014-01-09 tuned;
2013-09-02 wenzelm 2013-09-02 updated according to bceec99254b0;
2013-04-02 wenzelm 2013-04-02 tuned;
2013-03-24 wenzelm 2013-03-24 more "quick start" hints; more explicit "Testing of changes", instead of convoluted "Building a repository version of Isabelle"; tuned;
2013-02-01 wenzelm 2013-02-01 standardized isabelle-server.in.tum.de;
2012-12-31 wenzelm 2012-12-31 tuned;
2012-12-31 wenzelm 2012-12-31 simplified quick start via "isabelle components -I";
2012-12-26 wenzelm 2012-12-26 prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
2012-12-17 wenzelm 2012-12-17 prefer implicit build_dialog of isabelle jedit; clarified isabelle build variants; back to $HOME despite some chance that Windows users get it wrong;
2012-12-10 wenzelm 2012-12-10 further clarification for Windows;
2012-12-10 wenzelm 2012-12-10 some clarification for Windows;
2012-11-29 wenzelm 2012-11-29 further update and clarification of the all-important README_REPOSITORY;
2012-09-19 wenzelm 2012-09-19 tuned;
2012-09-13 wenzelm 2012-09-13 instructions for quick start in 20min;
2012-08-28 wenzelm 2012-08-28 update on "isabelle build" and "isabelle build_doc";
2012-08-17 wenzelm 2012-08-17 tuned;
2012-08-17 wenzelm 2012-08-17 Backed out changeset ec82c33c75f8;
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.