coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] navigating to bullets/braces

From: Jeremy Dawson <Jeremy.Dawson AT anu.edu.au>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] navigating to bullets/braces
Date: Wed, 16 Jan 2019 12:47:05 +0000
Accept-language: en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Jeremy.Dawson AT anu.edu.au; spf=Pass smtp.mailfrom=Jeremy.Dawson AT anu.edu.au; spf=Pass smtp.helo=postmaster AT AUS01-ME1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:GM3fLR+Ynci49v9uRHKM819IXTAuvvDOBiVQ1KB31OocTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/2hikaKz43/mLZisJyg6JavB2vqBNwzpXIYI6OLvdyYr/Rcc8YSGdHQ81fVzZBAoS5b4YXC+QOI/xYoJf4p1oOsBCwCxOjBe30yj9PgH/9wKo33eA/HgHcwgMgGtIPvG7aotrvOqYSSue1zK/TwDrZafNWxC3x55bVfRA8u/2DR69wfNPXxEIyFA3Flk2dpIP5Mz+Py+gBr2qW4/B9We+himMrsQV8rza3ysojjoTFnJ8Zx1TE+Clj3Yo4Kt21RFRmbdOlDZdcry+aOJV1T88+RmxlvSc3xqEEtJO7eSUHzJonyhrRZvGCd4WE/w/sWPqULDhmn31qZLy/ihCv+ka60OL8TNO70FNSoypFjNbMsncN2gTP58eJV/Vx4lqt1S+I2Q7c9+1IOEc0mrHFJJI7xb4wi4YTvl/EHi/rnkX5kbWadl0++uiv9+TofKnppoOdN49zjAHyKKMumtGjAeQ8NQgOWGub9f6g273k+E31WLRKjvsonanFqJ3XKtgXqrSkDwNJ0Isv8QuzAjmn3dgCmXQKIkpJeBedgIjoP1HOLur4DfC6g1m0lDlk2erGMaPkApTNNHTNnq3ufLhm605bzgo+1spQ55RJCr0bPv38R1LxuMbCAR8kKwC02froCM1h1oMCXmKCGrOWMKTLsVOR+u0vJ/SMa5QOtTbmK/kl4ubugmUjlV8ce6mpx5oXZ2qiEvRoOUXKKUbr150KFn5PtQ4jRsTrjkeDWHhdfTz6C6k7/3QwDJ+sJYbFXIGkxrKbinSVBJpTM0JLEF2JAD/EfpqfXPFEPACfOMJkg3ooXKe6TIkJ3Bez8gL21vxuM7yHqWUjqZv/2Y0ttKXonhYo+GksVpXP4yS2V2hx21gwaXoz1aF7r1Z6zw7Zg6F+nrpVGcEV7u4bC15mZ66Z9PRzDpXJYiyEZs2AEQz0S9O7Rzw9U5Q43o1WOhsvK5CZlhnGmhGSLfoVmriMWMNm25/nhyG0AuskjnHM2e8mkkUsRdZJOSu+nKlj+gPPBonP1UKEi6Ktcqda1ynIpj6O
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

Hi Theo,

On 01/15/2019 07:26 PM, Théo Zimmermann wrote:
> (It is however surprising that it takes a long time to download the
> sources.)

This could be because of installing onto an NFS-mounted disk drive. It
maybe that it is much faster on a directly-connected disk drive. Has
anyone had similar experiences?

Cheers,

Jeremy

[Coq-Club] navigating to bullets/braces, Jeremy Dawson, 01/14/2019
- Re: [Coq-Club] navigating to bullets/braces, Théo Zimmermann, 01/14/2019
  - Re: [Coq-Club] navigating to bullets/braces, Jeremy Dawson, 01/14/2019
    - Re: [Coq-Club] navigating to bullets/braces, Théo Zimmermann, 01/14/2019
      - Re: [Coq-Club] navigating to bullets/braces, Jeremy Dawson, 01/14/2019
        
        Re: [Coq-Club] navigating to bullets/braces, Laurent Thery, 01/14/2019
        
        Re: [Coq-Club] navigating to bullets/braces, Jeremy Dawson, 01/15/2019
        
        Re: [Coq-Club] navigating to bullets/braces, Théo Zimmermann, 01/15/2019
        Re: [Coq-Club] navigating to bullets/braces, Laurent Thery, 01/15/2019
        
        Re: [Coq-Club] navigating to bullets/braces, Jeremy Dawson, 01/16/2019