On Friday 15 June 2012 12:39:45 David Aspinall wrote:
> Would help to clarify: which version of PG you are using?

Of course, sorry. It's version 4.1

-- 
Paolo Herms
PhD Student - CEA Software Safety Lab. / Inria ProVal project-team
Paris, France

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

Reply via email to