coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Mandy Martino <tesleft AT hotmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] how to download the std library from coq
Date: Thu, 10 Dec 2015 02:45:21 +0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tesleft AT hotmail.com; spf=Pass smtp.mailfrom=tesleft AT hotmail.com; spf=None smtp.helo=postmaster AT BAY004-OMC1S8.hotmail.com
Importance: Normal
Ironport-phdr: 9a23:Yo9zfRzUP6ZO3MDXCy+O+j09IxM/srCxBDY+r6Qd0ewWIJqq85mqBkHD//Il1AaPBtWFrasZwLOP6ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6MyZ3qnLnrodX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVG679ZuEzSaFSJDUgKWE8osPx/1GXRgyWo3AYT28+kxxSAgGD4gusDbnrtS6vk+N71DjSGMTsUbEyXnz286pwTBLmlA8HMCI8+WDTzMd3ifQI81qauxVjztuMM8muP/1kc/aFcA==

Hi ,

how to download std library from coq to local drive instead of using internet link and how to configure this in preference ?

Regards,

Martin

[Coq-Club] how to download the std library from coq, Mandy Martino, 12/09/2015