That sounds OK, except there shouldn't be quotes in there: Sure, I've committed the change now, please test.
Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
