diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-06-11 17:04:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-06-11 17:04:09 +0000 |
commit | 913d7f9a21a3c00a37708e23d8ae7d103071b531 (patch) | |
tree | dbf5d8f6d489342189418838dc5eecdc3d3ad420 /BUGS | |
parent | ae6fdfa6b5d062b26938f7d4ede1f47cc0b1dc7b (diff) |
Link to FAQ
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -3,7 +3,8 @@ * Known Bugs and Workarounds for Proof General. Contact: mailto:da+pg-bugs@inf.ed.ac.uk -See also: http://proofgeneral.inf.ed.ac.uk/BUGS +For latest, see: http://proofgeneral.inf.ed.ac.uk/BUGS +See also FAQ: http://proofgeneral.inf.ed.ac.uk/FAQ Generic bugs are listed here, which may affect all of the supported provers. See lego/BUGS coq/BUGS, etc, for specific bug lists for each @@ -12,6 +13,10 @@ of the provers supported. The bugs here are split into problems which apply for all Emacs versions, and those which only apply to particular versions. +NB: some issues which affect PG but which are not necessarily bugs in +PG are mentioned in the FAQ. + + * Generic problems, for all Emacs versions |