Re: [PG-devel] current repo

> Transforming into git was discussed some weeks ago. I'd be happy to hear some news about that, as well, Stefan ___ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

[PG-devel] current repo

Hi, at proofgeneral-devel@inf.ed.ac.uk the cvs-repo is still referenced. Transforming into git was discussed some weeks ago. Seeing several repos reside at github now, is there a recommendet one to start with? Thanks, Andreas __