From 16409b08edfc74795ce72d0e7d6aee9582b7b8e8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Sep 1998 16:34:04 +0000
Subject: New file.

---
 BUGS | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 BUGS

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
new file mode 100644
index 00000000..373beabd
--- /dev/null
+++ b/BUGS
@@ -0,0 +1,20 @@
+
+Known bugs and workarounds.
+===========================
+
+
+
+
+
+
+Development:
+============
+
+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?
+
+
+da: How to remove a directory from CVS?  I think it needs
+editing in the repository.  'isabelle' is defunct.
-- 
cgit v1.2.3