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 be completed.) Best regards, 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 -- Érik Martin-Dorel Maître de Conférences, Lab. IRIT, Univ. Toulouse 3 erik.martin-do...@irit.fr https://www.irit.fr/~Erik.Martin-Dorel _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel