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