From 2c34be6da8494432982bb39142785284ace3d1a6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Sep 1998 12:51:58 +0000
Subject: Realised clash with proof-assistant variable was causing "odd
 customize behaviour"

---
 BUGS | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index ac69299e..fc3e6187 100644
--- a/BUGS
+++ b/BUGS
@@ -24,9 +24,3 @@ allocation. Maybe some of the spans aren't removed properly.
 Setting a limit on the size of the process buffer doesn't seem to
 help. 
 
-
-customize:  odd behaviour after setting proof-assistant in
-.emacs file via customize: customize reports "mismatch"
-and "set outside customize".  Second of these probably
-okay.  Why first?
-
-- 
cgit v1.2.3