> If nobody objects, I'll adopt solution 1 (see #421 for solution 2):

Fixed now in cvs, please test.

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to