From 0298822300d92bef8bb3e0a4d3a14373ae087530 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 16 Apr 2004 12:16:52 +0000 Subject: Fix URL --- BUGS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 6f25bc57..7c83c59e 100644 --- a/BUGS +++ b/BUGS @@ -3,7 +3,7 @@ * Known Bugs and Workarounds for Proof General. Contact: mailto:da+pg-bugs@inf.ed.ac.uk -See also: http://proofgeneral.inf.ed.ac.uk/ProofGeneral/BUGS +See also: http://proofgeneral.inf.ed.ac.uk/BUGS 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 -- cgit v1.2.3