Renamed proof-invisible-command proof-shell-invisible-command.

Removed superfluous optional 'relaxed' argument from:
  proof-shell-invisibile-command,
  proof-grab-lock,
  proof-start-queue.

1 files changed, 3 insertions, 0 deletions

diff --git a/todo b/todo
index 72ffe5f4..9a1c5b96 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,9 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+C  Remove "FIXME notes" which are just notes I've put in about old
+   code in case something breaks   (da, 30mins). 
+
 
 A* Fix bugs in proof-shell-filter. Don't assume that full match is
    contained in filter chunk.(Should match strings in buffer instead)