diff options
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ * Known Bugs and Workarounds for Proof General. -Contact: mailto:proofgen@dcs.ed.ac.uk +Contact: mailto:bugs@proofgeneral.org See also: http://www.proofgeneral.org/ProofGeneral/BUGS Generic bugs are listed here, which may affect all of the supported |