Christophe Rhodes <csr21 at cam.ac.uk> writes: > Objections? Having heard none, and given we have version control anyway, I've merged something like this into CVS. Cheers, Christophe