I remember how PG used to behave, but I do not recall which version it was.
I started using Coq at version 8.3pl2, or there-abouts, so I can try to8.3pl3 was released in December 2011, so it was probably Proof General 4-2pre111207 or earlier. Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
