1 files changed, 2 insertions, 0 deletions
diff --git a/todo b/todo
index 2739b38f..1cc42c12 100644
--- a/todo
+++ b/todo
@@ -55,6 +55,8 @@ B Manual improvements before techreport publishing (see notes at end also):
   - Consider splitting up chapter 9?
   - document mouse functions, proof-cd, process quit timeout, 
     X-Symbol, prog-name-guess, new menu functions for display.
+  - general tips on what to do when things go wrong: try
+    interrupt, restart, finally exit proof assistant.
   - improvements after feedback from users.
 
 D Improve goto button image [suggestion from Markus]