Hi David, hi all,

glad to listen it goes on.

WRT to bugs: what about starting a new tracker while keeping the trac-repo for reference, test-cases etc?

Just my thoughts...

Thanks all,

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