coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] remote collaborative editing of coq files

From: Bas Spitters <b.a.w.spitters AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] remote collaborative editing of coq files
Date: Wed, 17 Jun 2020 23:04:02 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=b.a.w.spitters AT gmail.com; spf=Pass smtp.mailfrom=b.a.w.spitters AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f177.google.com
Ironport-phdr: 9a23:SM9KPh9qqQLD//9uRHKM819IXTAuvvDOBiVQ1KB21e4cTK2v8tzYMVDF4r011RmVBNidsq0ewLOO7+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVhDexe65+IReooQneq8UanYRvIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1kyoMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOmd4YAAOQBMuRYoYfzpFUAsAWwChW3CePz1jNFnGP60bEm3+kjFwzNwQwuH8gJsHTRtNj4Kb0dUfuox6fV1TXDbu9W2Svj54jSaRAqvPaBUqlqfcXL00UuGRnJjk6IqYzkIzOVyvoCs3KA7+d7WuKvjnQoqwB1ojS12sgsjYzJi5sTx1vZ+ip33Jw7KsekSE5nf9GkCp1QujmGO4Z4Q84uXXxktSckxrAbpJO2YTYGxpokyhPbdfGKd5SE7BznWeuVPTt1mW9pdbO/ihiy7EWs1/HxW8213VtFqCdOj9fCtncI1xPJ68iHTONw/kKg2TmTzQDT7fpEIUc6larHMZIu3rkwlp8LvUTMHy/2hEX2jLKNeUk+5ueo7OHnbq36qZ+bLY90jB/xMqAqmsClH+s3LxUOUm6G8uq/zL3u5VP1TKlOg/EskaTUsIrWKdoGqqO9GQNZz4Qu5hS5Ajy7ytoXh2MHI0hAeB+fj4jmJVXOIPfgAPe6mVuskTNry+nGP7L6H5nBN3bDnKrjcLt/8UJcxw0zzddQ55JQFL4NOu78Wkj0tNDADx85NRK7w/r/Bdljyo8TXXiDD6yZPa/Ir1OE++YiL/ORaIIXujvxM/0l6OTvjX89l18dZ66p3Z4PZX+jBPhpOV+VYHT2jtcaCWcKvxY+TPD0h12YSj5efHmyX6cm6TE6DIKqF5vMRoeogLCZxie0AoVWZnxaClCLCXrna4KEW+4VZC2OJs9hjycLWKO6S44h0BGurBX1x6BmLurS4C0YtIjs2MJ75+3JxlkO8mlfCN3V+GWQRSkglWQRAjQywapXoEpny17F37Iu0NJCEtkGzfpSGjwiNILAwvZhQ4T4HAuHYZGSUFe6Xti8Ghk+S9swx5kFZEMrSIbqtQzKwyf/W+xdrLeMHpFht/uEhyGtdfY48G7P0ewat3djWtFGbDT0iat29gyVDInMwR3AyvSaMJ8E1SuIz1+tiGqDuEYCDlx1WKTBGGEVPw7Y9IumoEzFSLCqBPIsNQ4TkZfTeJsPUcXgiBB9fNmmPd3fZ2yrnGLpXESHw7qNaMzhfGBPhSg=

My students are using vscode for this, and I understand it works well.
I believe it only has a cloud based solution.
https://visualstudio.microsoft.com/services/live-share/

On Sat, Jun 13, 2020 at 9:50 PM Abhishek Anand
<abhishek.anand.iitg AT gmail.com> wrote:
>
> At our company, people in different cities/countries often need to
> collaboratively edit Coq files.
> We have been using tmux+ssh+emacs-console-mode+PG+company-coq solution for
> a few years and it works ok.
> I have described our setup in the following wiki page:
> https://github.com/coq/coq/wiki/Remote-Collaborative-Editing-of-Coq-Files
>
> Are there other ways people remotely collaboratively edit Coq files?
> It would be great to add to that page and/or describe/discuss the setup in
> this email thread.
>
> Thanks,
> -- Abhishek
> http://www.cs.cornell.edu/~aa755/

[Coq-Club] remote collaborative editing of coq files, Abhishek Anand, 06/13/2020
- Re: [Coq-Club] remote collaborative editing of coq files, Dominique Unruh, 06/14/2020
- Re: [Coq-Club] remote collaborative editing of coq files, Bas Spitters, 06/17/2020