Dear all,
The two Proof General mailing lists hosted here at Edinburgh have become
somewhat defunct and the signup pages are targets for spammers. So we
are planning to retire them properly later this month.
If you would like to retrieve previous postings meanwhile you should be
able to access the public archives here:
http://lists.inf.ed.ac.uk/pipermail/proofgeneral/
http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/
As most will know, Proof General development and support has moved to
Github now and is focused mainly on Coq:
https://github.com/ProofGeneral/PG
As well as the usual Github mechanisms, there are some links to Zulip
chats there where PG developers and users can discuss.
Thanks to list members still here for their contributions over the years!
Best wishes,
- David
--
Prof. David Aspinall, Email: david.aspin...@ed.ac.uk
LFCS, School of Informatics
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336. Is e buidheann carthannais
a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh
SC005336.
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel