diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-27 17:55:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-27 17:55:37 +0000 |
| commit | 566d32e82470cdcbb7fef2d88d10d1f08f91c928 (patch) | |
| tree | 87feb5d35a69d6411343e8f888c8d5f28979841e /BUGS | |
| parent | 78bf88aaead50893c6473319f929df64b45a64fe (diff) | |
Updated
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 |