coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Abhishek Anand <abhishek.anand.iitg AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] remote collaborative editing of coq files
Date: Wed, 14 Oct 2020 09:22:51 -0700
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=abhishek.anand.iitg AT gmail.com; spf=Pass smtp.mailfrom=abhishek.anand.iitg AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f42.google.com
Ironport-phdr: 9a23:VQjfnhyGeOTnm+DXCy+O+j09IxM/srCxBDY+r6Qd2u4UIJqq85mqBkHD//Il1AaPAdyErawdwLOI+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhKiTanYL5+MRq6oRjQu8ILnYZsN6E9xwfTrHBVYepW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbfVwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhigaLT406G7YisJyg6xbrhyvpAFxzZDIb4yOLvVyYrnQcMkGSWZdXMtcUTFKDIOmb4sICuoMJfpVoJL9p1sPthu+BRejBODywTJUgH/5x6s63Pk8GgzBxgMvBNIOsHXPrNX1KqgSUvq5w7POzTrZafNZxC3x6InJchA9rvGBRr1wcc/LxkkuEwPJlEmfqYvgPz6M0OkGrmeU4fZ6W+21l24ntx9+oiKpxso0lIXHhp8Yx1LZ+Sh7zog4ON22Rk5mbdO4H5VdtyKXOoRqTs8/Xmxltjo2xqACtJO5ciYExokryhzBZvCab4WF4hTuX/ufLzd/gXJqYrO/hxCq/Ee8ze38TM+030hOripBiNXDqG0C1wHL5siCS/ty4l2h2TGU1wDU5OFEPVo4mrbcK54k2rIwmZsTsVjDHi/rg0r6lrOZdkIh+uWu9u/pYa3mq4eCO4NojgzyKKcjl8ylDeglMwUDXnKX9Oui2LDl4Eb3Wq9FjucsnancqJ3aJdoUpqq+AwJN14Ys8Re/DzO/3NQZmnkLMUtJeByIgoT3IV3OL/f4DfCwg1Sojjhn3ezJPrrkApnVL3jDlqnufapl5kJC1AY+ycpT6pFUB70bPf7+W078uMbXAxMnKwC0xvzoCNR51oMQQ2KPBaqZPbvIvlCT5uIvIvKMZI8Ltzb+MfQq/fjugmU/mVAAZ6Wp3JoXaGy3Hvl9LEWZZGDjgtYFEWsQogU+S+nqhEWYUTFPf3ayQ7485jYjBY26CofDX5mhj6CF3CemBZJbfXtGC1CJEXfwbYqIQfYMaCSIIs9giDMIT7ahS5VynS2p4QT90v9sKvfesnkTsoum39xo7cXSkwsz/Hp6FZLO/XuKSjRdlGMJXD873+hWp0V7xh/X2KJ4gudYGN8V7vVAVAt8NJ/AwMR1DtnzXkTKedLfGwXuecmvHTxkFoF5+NQJeUsoQ4z/3CCG5DKjBvour5LOBJEw9fiBjX34JsI4ynGfkad91R8pRcxAMWDgjal6pVCKW9z51n6BnqPvTpwymTbX/T7an2WLtUBcFgV3VPedBCFNVg7ttd38o3j6YfqrALUjPBFGzJfbeKRPY9zty15BQaW6NQ==

When using vscode liveshare with coq (vscoq I guess), do all participants see the host's proof window? or each participant independently has coqtop running locally to produce the proof window in a non-synced manner?

Thanks,

-- Abhishek

http://www.cs.cornell.edu/~aa755/

On Wed, Jun 17, 2020 at 2:04 PM Bas Spitters <b.a.w.spitters AT gmail.com> wrote:

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/

Re: [Coq-Club] remote collaborative editing of coq files, Abhishek Anand, 10/14/2020
- Re: [Coq-Club] remote collaborative editing of coq files, Bas Spitters, 10/14/2020
  - Re: [Coq-Club] remote collaborative editing of coq files, Jay Kruer, 10/14/2020
  - Re: [Coq-Club] remote collaborative editing of coq files, Maxime Dénès, 10/14/2020
    - Re: [Coq-Club] remote collaborative editing of coq files, Kevin Sullivan, 10/15/2020
      - Re: [Coq-Club] remote collaborative editing of coq files, Théo Zimmermann, 10/15/2020
    - Re: [Coq-Club] remote collaborative editing of coq files, Bas Spitters, 10/15/2020