Hi,

at

proofgeneral-devel@inf.ed.ac.uk <mailto: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
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to