OK. I have uploaded a small patch in Trac.

Kind regards,

Erik

On 09/11/2011 06:00 PM, Pierre Courtieu wrote:
OK now I understand, and agree. Added a trac.

Thanks for reporting!

P

--
√Črik Martin-Dorel
PhD student, ENS de Lyon, LIP
http://perso.ens-lyon.fr/erik.martin-dorel/
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to