| 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 |