diff options
author | 2002-08-12 14:16:02 +0000 | |
---|---|---|
committer | 2002-08-12 14:16:02 +0000 | |
commit | 8bae5b1c266edd6cd46de3bd482ce44541ebc749 (patch) | |
tree | f757f190f9d79451900fefa01a224509db8bfe5c /README.exper | |
parent | 6bf78dfa2a2452381cc06d4923b6a969e80dc4a3 (diff) |
Note about exper bugs
Diffstat (limited to 'README.exper')
-rw-r--r-- | README.exper | 7 |
1 files changed, 7 insertions, 0 deletions
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 |