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