[isabelle-dev] Use HTTPS for components

Makarius makarius at sketis.net
Thu Jul 14 12:36:53 CEST 2016

On 13/07/16 15:50, Makarius wrote:
> I will take another look at curl. It seems to be universally
> available on all platforms now, with very similar versions and
> installation options.

See now:

changeset:   63490:9416333a17c2
user:        wenzelm
date:        Thu Jul 14 12:20:20 2016 +0200
files:       Admin/lib/Tools/makedist_bundle
Admin/lib/Tools/makedist_cygwin README_REPOSITORY lib/Tools/components
prefer curl: presumably more portable and versatile;

changeset:   63491:58ccbc73a172
tag:         tip
user:        wenzelm
date:        Thu Jul 14 12:21:12 2016 +0200
files:       etc/settings
prefer HTTPS;


More information about the isabelle-dev mailing list