Hello Adam
Many thanks for the feedback and suggestions. Would you be so kind as to lodge
tickets on our trac for these?
http://proofgeneral.inf.ed.ac.uk/trac
Both issues sound like faults, in fact. Please explain exactly which version
of PG you are using.
Thanks
- David
On 29 Jul 2010,
First of all, big thanks to the Proof General team for creating such a
wonderful piece of software! I really can't imagine interactive theorem
proving without it, and I appreciate the effort all the more considering that
the kind of people who use theorem provers would probably rather be spendi