aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--todo2
1 files changed, 2 insertions, 0 deletions
diff --git a/todo b/todo
index c64a353c..2ccc6fd5 100644
--- a/todo
+++ b/todo
@@ -29,6 +29,8 @@ X (Low) e.g. probably not worth spending time on
*** Outstanding bugs to investigate
+B Exiting isar broken?
+
C Undoing comments with FSF Emacs weirdness.
Noticed with Emacs 20.6.1. Seems to affect all provers.
Workaround: use C-c C-RET or C-c C-r instead.