Dear ProofGeneral users and contributors,
This is the final step of issues migration, so FYI access to
https://github.com/ProofGeneral/PG/issues will now be temporarily
restricted in order to facilitate issues import.
(The import itself should not be too long, I'll annouce when it will
Erik, for the PG dev team
Le jeudi 1 mars 2018 à 01:08 +0100, Erik Martin-Dorel a écrit :
> Dear ProofGeneral users and contributors,
> Just a quick note regarding the PG/xml implementation by Paul Steckler
> for async Coq proofs (that was gathered up to now in his GitHub fork):
> the new code has been recently integrated in the "async" branch of the
> main PG repo https://github.com/ProofGeneral/PG
> and the migration of issues from one repo to the other is on-going.
> More specifically: all issues in Paul's fork (both open and closed)
> have been exported and hidden; they will be soon imported in the main
> repo https://github.com/ProofGeneral/PG/issues which will thus become
> the single entry point for reporting issues.
> (A further announcement will follow when PG 5.0-beta will be released)
> Best regards,
> Erik, for the PG dev team
Maître de Conférences, Lab. IRIT, Univ. Toulouse 3
ProofGeneral mailing list