coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[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: [Coq-Club] remote collaborative editing of coq files
Date: Sat, 13 Jun 2020 12:51:02 -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-f41.google.com
Ironport-phdr: 9a23:yJNwLxB2I84uFtLP4kqYUyQJP3N1i/DPJgcQr6AfoPdwSPX6ocbcNUDSrc9gkEXOFd2Cra4d1qyP7furADBaqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5yIRmssAnct8cbjYR/Jqs+1BfCv2dFdflRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklCEKPCM//WrKiMJ/kbhbrQquqBJ/zYDaY5ybOuRica7GZ9wWWXBMU9xNWyBdAI6xaZYEAeobPeZfqonwv0cDogC+BQmtH+PvyiFHhnzr1qAm1eQuCwfG0xE9FN8Jqnvbt9X1NKYJUeC10qbIzi/PYOlQ2Tjn7ojHbwotofCNXbJsfsrc0kYvFwbfgVWRrYzpJS+a1uMIs2WC6edrSO2ghXI9pQ5rvjiv2tkjipPPho8NyF3J9Sp3zYIoKNClTEN3fMKpHIdfuS+VN4Z7TMMsTW5qtSonxbAItp62cDQExpooyRDSb/OJfouW7hztSeufITF1j29rdrK4gha960mgyuvkW8m70VZKsipFksTXuXwXyxPT7c2HRuNh8UemwzaP0R7c6uVAIUwui6XUNoMhz7gtnZQQqUTOBjH6lFnygaOMdUgp+vKk5/nmb7jnvJOROJJ4hwfjOao0gMO/G/43Mg0WUmib5+u80Lrj8FX8QLpQj/02lrDVsJHdJcgGv6K5DQBY3ps55xawCDem19sYnX0ZI15fZB2HiI3pN0nPIPD+E/i/n0yhnCl3y/3CJLHsAZXAImLenLrgfLtx8UFRxBcrwdBa/Z1UC7UBIPzpWk/2sdzVFgU2PBe0w+bmE9V91p0RWWGVDqCDNqPdq1mI6f81L+mNZY8VpDn9JuMq5/7rl3A5mFsdcbO10psQbXC0Bu5mLFmBYXrwntcBFn8HsRY5TOzzkVGNTTpTZ2upUK8n/TE6CIemDZ/ZSYy3gbyB2j27HpxMaWxcBFCMCySgS4LRUPAVLSmWP8UpxjcDTP2qT5Ir/RCorg7zjbR9eLn64Cod4Lvp1Nlu5+DQ3Tg0/Dp4R5CU2WGMVGF5nSUBQTYw0OZ+oFBy4liG2Kl8xfdfEIoAtLtyTg4mOMuEnKRBANfoV1eZJ4bbeBOdWtyjRAoJYJc0yt4KbVx6Hoz73B/G1iuuRbQSku7SXcBmwufnx3H0Yv1F5TPezqB41gspR8JOMSutgastr1GOVb6MqF2QkuORTYpZ3CPJ8z3en2+HvUUdUQkpFKuZBDYQYUzZqdm/7UTHHeej

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