diff options
| -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 |