> 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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
