The Coq mailing list

[Bas Spitters <b.a.w.spitters AT gmail.com>]

> Do I need just more luck/patience?

I guess so. Having said so, the more people that sign up,  requesting
for Coq as their main language, the bigger the chance that they will
support it natively.

There is a gitlab/gitpod alternative. I understand it can be self-hosted:
https://about.gitlab.com/blog/2020/05/06/git-challenge/
https://www.gitpod.io/blog/gitlab-integration/

I haven't tried it yet.

Bas

On Wed, Oct 14, 2020 at 11:41 PM Maxime Dénès <mail AT maximedenes.fr> wrote:
>
> Hi Bas,
>
> I get: "You’re already on the waitlist for Codespaces! We’ll notify you
> when we’ve enabled it on your account."
>
> Do I need just more luck/patience?
>
> Maxime.
>
> On 10/14/20 9:07 PM, Bas Spitters wrote:
> > The following works quite well:
> > https://github.com/features/codespaces
> > Getting Coq to run is actually easy. Open a terminal in github
> > codespaces. Do the regular install, set the path and select "interpret
> > to point".
> >
> > On Wed, Oct 14, 2020 at 6:23 PM Abhishek Anand
> > <abhishek.anand.iitg AT gmail.com> wrote:
> >>
> >> 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/