From 99b1fc11d8685ad7054dede0caa3c20c8ca9c23f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Nov 1999 10:42:45 +0000
Subject: Added new command proof-goto-point, new default binding for C-c RET.

---
 todo | 1 +
 1 file changed, 1 insertion(+)

(limited to 'todo')

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;
-- 
cgit v1.2.3