--
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
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 acc
