README_REPOSITORY
Wed, 31 Mar 2021 11:21:08 +0200 wenzelm tuned;
Wed, 31 Mar 2021 11:05:40 +0200 wenzelm clarified name;
Sun, 28 Mar 2021 11:59:30 +0200 wenzelm more options: build is part of default setup;
Sun, 28 Mar 2021 11:45:00 +0200 wenzelm misc tuning and clarification;
Sat, 27 Mar 2021 23:03:57 +0100 wenzelm tuned;
Sat, 27 Mar 2021 22:59:12 +0100 wenzelm clarified;
Sat, 27 Mar 2021 20:24:04 +0100 wenzelm more convenient repository setup;
Mon, 25 Jan 2021 15:58:19 +0100 wenzelm tuned;
Sun, 22 Mar 2020 15:10:38 +0100 wenzelm tuned;
Tue, 05 Jun 2018 00:06:23 +0200 wenzelm updated URLs;
Fri, 02 Mar 2018 15:16:10 +0100 wenzelm prefer https;
Tue, 03 Oct 2017 20:32:58 +0200 wenzelm prefer Cygwin64, although some components still require update;
Mon, 02 Oct 2017 16:42:12 +0200 wenzelm more documentation;
Sat, 01 Oct 2016 20:59:09 +0200 wenzelm tuned;
Thu, 14 Jul 2016 12:20:20 +0200 wenzelm prefer curl: presumably more portable and versatile;
Thu, 09 Jan 2014 21:11:05 +0100 wenzelm tuned;
Mon, 02 Sep 2013 11:03:02 +0200 wenzelm updated according to bceec99254b0;
Tue, 02 Apr 2013 20:19:38 +0200 wenzelm tuned;
Sun, 24 Mar 2013 14:26:10 +0100 wenzelm more "quick start" hints;
Fri, 01 Feb 2013 21:31:21 +0100 wenzelm standardized isabelle-server.in.tum.de;
Mon, 31 Dec 2012 16:16:43 +0100 wenzelm tuned;
Mon, 31 Dec 2012 15:56:17 +0100 wenzelm simplified quick start via "isabelle components -I";
Wed, 26 Dec 2012 11:06:21 +0100 wenzelm prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines;
Mon, 17 Dec 2012 14:07:34 +0100 wenzelm prefer implicit build_dialog of isabelle jedit;
Mon, 10 Dec 2012 16:27:03 +0100 wenzelm further clarification for Windows;
Mon, 10 Dec 2012 15:39:20 +0100 wenzelm some clarification for Windows;
Thu, 29 Nov 2012 10:56:59 +0100 wenzelm further update and clarification of the all-important README_REPOSITORY;
Wed, 19 Sep 2012 13:19:45 +0200 wenzelm tuned;
Thu, 13 Sep 2012 16:10:20 +0200 wenzelm instructions for quick start in 20min;
Tue, 28 Aug 2012 19:02:41 +0200 wenzelm update on "isabelle build" and "isabelle build_doc";
less more (0) -30 tip