Added new command proof-goto-point, new default binding for C-c RET.

1 files changed, 1 insertions, 0 deletions

diff --git a/todo b/todo
index 4d7a0ab9..7680a6b1 100644
--- a/todo
+++ b/todo
@@ -50,6 +50,7 @@ re-enabled), proof-toggle-scripting, new configuration options.
     about proof-shell-busy. 
     - Fix sentinel infinite loop bug
     - noticeable delay when loading ML files for Isabelle (fontification?)
+    - clean up assert-until-point stuff at last!
 
 A Markus's bug reminder list:
   - cut&paste from hilited Isabelle output includes invisible specials;