--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
-------- Forwarded Message --------
Subject: Re: [PG-devel] Shutdown of proofgeneral and proofgeneral-devel
lists
Date: Wed, 15 Jun 2022 12:59:47 +0200
From: Erik Martin-Dorel <erik.martin-do...@irit.fr>
To: David Aspinall <david.aspin...@ed.ac.uk>
Thank you David!
Let me give some direct pointers as a follow-up of your e-mail:
Two communication channels are indeed preferred to get in touch with PG
devs/users: Zulip and GitHub.
So feel free to do one or both of the following actions if you're
interested:
1. Subscribe as a "Watcher" of the PG GitHub repository
https://github.com/ProofGeneral/PG/
(to get automatic notifications from issues and releases; in particular
we plan to do a major release soonish)
2. Subscribe to the coq zulip chat system https://coq.zulipchat.com/
(and use one of these streams:
https://coq.zulipchat.com/#narrow/stream/304019-Proof-General.20users
https://coq.zulipchat.com/#narrow/stream/304020-Proof-General.20devs
), but note that despite the name, this communication channel is not
intended to be Coq-specific:
EasyCrypt, PhoX, and QRHL users can post there just as well!
Kind regards,
Erik
_______________________________________________
ProofGeneral mailing list
ProofGeneral@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral