Outstanding Problems with PG Emacs
This is a list of known problems which are
not mentioned in
the Proof General
FAQ
or
Known bugs documents
distributed with the system.
If you find a
new problem, please add it to the list below.
Please do not include installation issues here, they should
be in
PGEmacsInstallHelp.