README_REPOSITORY
2021-01-25 wenzelm tuned;
2020-03-22 wenzelm tuned;
2018-06-04 wenzelm updated URLs;
2018-03-02 wenzelm prefer https;
2017-10-03 wenzelm prefer Cygwin64, although some components still require update;
2017-10-02 wenzelm more documentation;
2016-10-01 wenzelm tuned;
2016-07-14 wenzelm prefer curl: presumably more portable and versatile;
2014-01-09 wenzelm tuned;
2013-09-02 wenzelm updated according to bceec99254b0;
2013-04-02 wenzelm tuned;
2013-03-24 wenzelm more "quick start" hints;
2013-02-01 wenzelm standardized isabelle-server.in.tum.de;
2012-12-31 wenzelm tuned;
2012-12-31 wenzelm simplified quick start via "isabelle components -I";
2012-12-26 wenzelm prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
2012-12-17 wenzelm prefer implicit build_dialog of isabelle jedit;
2012-12-10 wenzelm further clarification for Windows;
2012-12-10 wenzelm some clarification for Windows;
2012-11-29 wenzelm further update and clarification of the all-important README_REPOSITORY;
2012-09-19 wenzelm tuned;
2012-09-13 wenzelm instructions for quick start in 20min;
2012-08-28 wenzelm update on "isabelle build" and "isabelle build_doc";
2012-08-17 wenzelm tuned;
2012-08-17 wenzelm Backed out changeset ec82c33c75f8;
2012-08-17 webertj Typo fixed.
2012-08-17 wenzelm some explanations on isabelle components;
2012-07-25 wenzelm some updates on "Building a repository version of Isabelle";
2012-04-13 wenzelm misc tuning;
2010-11-18 wenzelm some updates after 2 years of Mercurial usage;
2010-05-12 wenzelm updated some version numbers;
2010-03-04 wenzelm point to http://hginit.com/
2009-08-11 wenzelm clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
2009-03-01 wenzelm minor update of Mercurial HOWTO;
2009-01-14 wenzelm tuned ASCII art;
2008-11-30 wenzelm fixed spelling;
2008-11-30 wenzelm tuned;
2008-11-30 wenzelm misc tuning and clarification;
2008-11-29 wenzelm tuned;
2008-11-29 wenzelm further notes;
2008-11-29 wenzelm Important notes on Mercurial repository access for Isabelle.
less more (0) tip