From 665793e2e5cc528af5cff6995ec9a2c072502f04 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 26 Sep 2000 12:18:37 +0000 Subject: Fix Proof General web page to www.proofgeneral.org. --- BUGS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 7c81a436..ebb4e802 100644 --- a/BUGS +++ b/BUGS @@ -3,7 +3,7 @@ * Known Bugs and Workarounds for Proof General. Contact: mailto:proofgen@dcs.ed.ac.uk -See also: http://www.dcs.ed.ac.uk/home/proofgen/ProofGeneral/BUGS +See also: http://www.proofgeneral.org/ProofGeneral/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