From f916f8a84abd57b8cdd3ef7bc54c96b88c268076 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 13 Dec 2007 12:59:09 +0000 Subject: Updated. --- BUGS | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 90860405..a3bd4083 100644 --- a/BUGS +++ b/BUGS @@ -2,8 +2,8 @@ * Known Bugs and Workarounds for Proof General. -Contact: mailto:da+pg-bugs@inf.ed.ac.uk -For latest, see: http://proofgeneral.inf.ed.ac.uk/BUGS +For latest, see: http://proofgeneral.inf.ed.ac.uk/trac + See also FAQ: http://proofgeneral.inf.ed.ac.uk/FAQ Generic bugs are listed here, which may affect all of the supported @@ -228,3 +228,5 @@ Several (odd) circumstances cause this version of Emacs to loop, in particular, when moving the cursor into multi-byte characters. Workarounds have been added to avoid this: you may see junk characters in the shell buffer as a side effect. + + -- cgit v1.2.3