From 8bae5b1c266edd6cd46de3bd482ce44541ebc749 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Aug 2002 14:16:02 +0000
Subject: Note about exper bugs

---
 README.exper | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'README.exper')

diff --git a/README.exper b/README.exper
index 79ef743d..3424863d 100644
--- a/README.exper
+++ b/README.exper
@@ -42,3 +42,10 @@ Current "experimental" features
    well, because no context is available to Proof General, so only
    variables bound at the outer level can have meaningful information
    displayed, via the "term" command.
+
+
+Known problems with experimental features
+=========================================
+
+** Move up/down functions make spoil visibility behaviour.
+   
\ No newline at end of file
-- 
cgit v1.2.3