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 to

8.3pl3 was released in December 2011, so it was probably Proof
General 4-2pre111207 or earlier.

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

Reply via email to