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 |