updated URLs;

prefer https;

prefer Cygwin64, although some components still require update;

more documentation;

tuned;

prefer curl: presumably more portable and versatile;

tuned;

updated according to bceec99254b0;

tuned;

more "quick start" hints;
more explicit "Testing of changes", instead of convoluted "Building a repository version of Isabelle";
tuned;

standardized isabelle-server.in.tum.de;

tuned;

simplified quick start via "isabelle components -I";

prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;

prefer implicit build_dialog of isabelle jedit;
clarified isabelle build variants;
back to $HOME despite some chance that Windows users get it wrong;

further clarification for Windows;

some clarification for Windows;

further update and clarification of the all-important README_REPOSITORY;

tuned;

instructions for quick start in 20min;

update on "isabelle build" and "isabelle build_doc";

tuned;

Backed out changeset ec82c33c75f8;

Typo fixed.

some explanations on isabelle components;

some updates on "Building a repository version of Isabelle";

misc tuning;
atbroy100 no longer available (?);

some updates after 2 years of Mercurial usage;

updated some version numbers;

point to http://hginit.com/

clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;

minor update of Mercurial HOWTO;

tuned ASCII art;

fixed spelling;
tuned;

tuned;

misc tuning and clarification;

tuned;

further notes;
tuned;

Important notes on Mercurial repository access for Isabelle.