coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] external editor in coqide

From: Jeremy Dawson <Jeremy.Dawson AT anu.edu.au>
To: Jason -Zhong Sheng- Hu <fdhzs2010 AT hotmail.com>, "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] external editor in coqide
Date: Tue, 29 Jan 2019 13:15:21 +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-SY3-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:ZctwPB+jfRZ09P9uRHKM819IXTAuvvDOBiVQ1KB21eIcTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/2hikaKz43/mLZisJyg6JavB2vqBNwzpXIYIGMLvdyYr/Rcc8aSGdHQ81fVzZBAoS5b4YXC+QOI/xYoJf4p1oOsBCwCxOjBe30yj9PgH/9wKo33eA/HgHcwgMgGtIPvG7aotrvOqYSSue1zK/TwDrZafNWxC3x55bVfRA8u/2DR69wfNPXxEIyGQ3FiVCQppbkPzOTzukNqGia7/F8VeKyl24nrBtxojm1yccokYnFnJ4aylfB9Sh/3Y07JsW4RVZ0bNK4Cpdcqj2WOolsTs8/TWxlujw2x7kItJKjcyUHzI4rywPbZvGHaYSE/wzvWPqLLTtlin9oe6qzhxis/kWj1uHxU8y53VJJoyVendTBs20B2hLN5ceaT/Z98Fmu1DWT2w3W9O1LOk40mKXdJpU82LA/jIATvl7GHiLumEX5kquWdkI89+W05evpf6nqqoKFO4FpiA7zPL0imsukDusmKAQOWHWb+fin273k4E35RqhFgucukqnDt5DaOdoUqbKlAw9U1YYj7QyzDzC70NQEmXkHK1VFeBGdg4f1PFHOJej0Dfa5g1uyjDdm3//LMqH7DpnQMnTOkq3tcatz5kNe0gY+yd5S64pRCr4bIfLzXkHxtMbfDh88KwG6x/joCM9j2YMbWWODGKGXP7ncsF+T4eIvJfKBa5UTuDbgMfQq+ePhjWIjlVAHYKmlxYEXZ2ygHvR6P0WZZmLhjcsGEWcTpwYxUOjqiECZXjNIfHazX6c85ikhB468DIfDQJqtgL2b0yuhEJ1WfDMONlfZM37zcIPMHsUMbySdavRhnzoLEPCBVsd12x2uphSgk+M/BurT5igRtJal399wsamb3xo17Hl/C9mX+2CLVWB92G0SDXdi16dm5Ed5112r0K5igvUeG8YFtN1TVQJvF5PGwulrQ/z7RRnGeJ/dalu8T9C3Rx04Uck2xfcHZVs7Ftm/yBneiXn5S4QJnqCGUcRnupnX2GL8cp4kmiT2kZI5hlxjefNhcGivh6px7Q/WXtSbmkOE0aumaOIVwXyUrTvR/S+1pEhdFTVIf+DdR3lGPBnfq8m/60/fCbazW+x+b1lxjPWaI64PUeXHyFVLQPC/Z4b3XlnpwiKLNE3NwbmBKo33Z28awSPRTlAelBwe9mqHMg54ATq9p2XZD3plEle9Ok4=

Hi Jason,

Thanks very much!

Jeremy

On 01/29/2019 02:29 PM, Jason -Zhong Sheng- Hu wrote:
> Have you installed a vim with gui at all? try gvim
>
> https://www.systutorials.com/docs/linux/man/1-gex/
>
> *Sincerely Yours,
> *
> *
> Jason Hu*
> --------------------

[Coq-Club] external editor in coqide, Jeremy Dawson, 01/24/2019
- Re: [Coq-Club] external editor in coqide, Laurent Thery, 01/24/2019
  - Re: [Coq-Club] external editor in coqide, Théo Zimmermann, 01/24/2019
    - Re: [Coq-Club] external editor in coqide, Anders Lundstedt, 01/24/2019
  - Re: [Coq-Club] external editor in coqide, Jeremy Dawson, 01/29/2019
    - Re: [Coq-Club] external editor in coqide, Jason -Zhong Sheng- Hu, 01/29/2019
      - Re: [Coq-Club] external editor in coqide, Jeremy Dawson, 01/29/2019