From 25ffebf59b3168ef2b5a5719c8a21d81e3016432 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 17 Aug 2010 12:02:09 +0000 Subject: Minor tweaks to versions, etc. --- BUGS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 67cf68cb..936b30ee 100644 --- a/BUGS +++ b/BUGS @@ -12,7 +12,7 @@ For latest, see: http://proofgeneral.inf.ed.ac.uk/trac See also FAQ: http://proofgeneral.inf.ed.ac.uk/FAQ The bugs here are split into problems which are generic, -and those which only apply to particular provers. +and those which only apply to particular provers. The FAQ mentions other issues which are not necessarily PG bugs. @@ -24,7 +24,7 @@ problem carefully, include a short demonstration file and tell us the exact version of Emacs and Proof General that you are using. -* Generic problems +* General issues ** If the proof assistant goes into a loop displaying lots of information -- cgit v1.2.3