From 566d32e82470cdcbb7fef2d88d10d1f08f91c928 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 27 Sep 2000 17:55:37 +0000 Subject: Updated --- BUGS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index ebb4e802..ae1469b8 100644 --- a/BUGS +++ b/BUGS @@ -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 -- cgit v1.2.3