| Sun, 06 Aug 2023 16:01:11 +0200 | wenzelm | hints on "hg bisect"; | file | diff | annotate |
| Sat, 17 Apr 2021 19:47:08 +0200 | wenzelm | updated example; | file | diff | annotate |
| Sat, 17 Apr 2021 19:45:12 +0200 | wenzelm | clarified options (again); | file | diff | annotate |
| Fri, 16 Apr 2021 21:54:08 +0200 | wenzelm | updated example; | file | diff | annotate |
| Fri, 16 Apr 2021 21:50:47 +0200 | wenzelm | clarified options; | file | diff | annotate |
| Wed, 31 Mar 2021 11:21:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 31 Mar 2021 11:05:40 +0200 | wenzelm | clarified name; | file | diff | annotate |
| Sun, 28 Mar 2021 11:59:30 +0200 | wenzelm | more options: build is part of default setup; | file | diff | annotate |
| Sun, 28 Mar 2021 11:45:00 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Sat, 27 Mar 2021 23:03:57 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 27 Mar 2021 22:59:12 +0100 | wenzelm | clarified; | file | diff | annotate |
| Sat, 27 Mar 2021 20:24:04 +0100 | wenzelm | more convenient repository setup; | file | diff | annotate |
| Mon, 25 Jan 2021 15:58:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Mar 2020 15:10:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Jun 2018 00:06:23 +0200 | wenzelm | updated URLs; | file | diff | annotate |
| Fri, 02 Mar 2018 15:16:10 +0100 | wenzelm | prefer https; | file | diff | annotate |
| Tue, 03 Oct 2017 20:32:58 +0200 | wenzelm | prefer Cygwin64, although some components still require update; | file | diff | annotate |
| Mon, 02 Oct 2017 16:42:12 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Sat, 01 Oct 2016 20:59:09 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Jul 2016 12:20:20 +0200 | wenzelm | prefer curl: presumably more portable and versatile; | file | diff | annotate |
| Thu, 09 Jan 2014 21:11:05 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 02 Sep 2013 11:03:02 +0200 | wenzelm | updated according to bceec99254b0; | file | diff | annotate |
| Tue, 02 Apr 2013 20:19:38 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 24 Mar 2013 14:26:10 +0100 | wenzelm | more "quick start" hints; | file | diff | annotate |
| Fri, 01 Feb 2013 21:31:21 +0100 | wenzelm | standardized isabelle-server.in.tum.de; | file | diff | annotate |
| Mon, 31 Dec 2012 16:16:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 31 Dec 2012 15:56:17 +0100 | wenzelm | simplified quick start via "isabelle components -I"; | file | diff | annotate |
| Wed, 26 Dec 2012 11:06:21 +0100 | wenzelm | prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines; | file | diff | annotate |
| Mon, 17 Dec 2012 14:07:34 +0100 | wenzelm | prefer implicit build_dialog of isabelle jedit; | file | diff | annotate |
| Mon, 10 Dec 2012 16:27:03 +0100 | wenzelm | further clarification for Windows; | file | diff | annotate |
| Mon, 10 Dec 2012 15:39:20 +0100 | wenzelm | some clarification for Windows; | file | diff | annotate |
| Thu, 29 Nov 2012 10:56:59 +0100 | wenzelm | further update and clarification of the all-important README_REPOSITORY; | file | diff | annotate |
| Wed, 19 Sep 2012 13:19:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Sep 2012 16:10:20 +0200 | wenzelm | instructions for quick start in 20min; | file | diff | annotate |
| Tue, 28 Aug 2012 19:02:41 +0200 | wenzelm | update on "isabelle build" and "isabelle build_doc"; | file | diff | annotate |
| Fri, 17 Aug 2012 21:16:13 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Aug 2012 21:15:36 +0200 | wenzelm | Backed out changeset ec82c33c75f8; | file | diff | annotate |
| Fri, 17 Aug 2012 20:31:12 +0200 | webertj | Typo fixed. | file | diff | annotate |
| Fri, 17 Aug 2012 17:35:07 +0200 | wenzelm | some explanations on isabelle components; | file | diff | annotate |
| Wed, 25 Jul 2012 12:38:54 +0200 | wenzelm | some updates on "Building a repository version of Isabelle"; | file | diff | annotate |
| Fri, 13 Apr 2012 12:09:25 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Thu, 18 Nov 2010 22:34:32 +0100 | wenzelm | some updates after 2 years of Mercurial usage; | file | diff | annotate |
| Wed, 12 May 2010 13:52:34 +0200 | wenzelm | updated some version numbers; | file | diff | annotate |
| Thu, 04 Mar 2010 21:02:21 +0100 | wenzelm | point to http://hginit.com/ | file | diff | annotate |
| Tue, 11 Aug 2009 15:53:13 +0200 | wenzelm | clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository; | file | diff | annotate |
| Sun, 01 Mar 2009 12:37:42 +0100 | wenzelm | minor update of Mercurial HOWTO; | file | diff | annotate |
| Wed, 14 Jan 2009 19:38:55 +0100 | wenzelm | tuned ASCII art; | file | diff | annotate |
| Sun, 30 Nov 2008 15:03:47 +0100 | wenzelm | fixed spelling; | file | diff | annotate |
| Sun, 30 Nov 2008 14:43:29 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 30 Nov 2008 12:25:54 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Sat, 29 Nov 2008 19:01:28 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 29 Nov 2008 18:19:59 +0100 | wenzelm | further notes; | file | diff | annotate |
| Sat, 29 Nov 2008 17:09:28 +0100 | wenzelm | Important notes on Mercurial repository access for Isabelle. | file | diff | annotate |