Hi, at
[email protected] <mailto:[email protected]> 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
_______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
