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