From a76b63449ea1d30816fa1873042b1cfba1cb6432 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 23 Sep 2000 14:39:13 +0000
Subject: Changes:  (actually in previous version) - Undoing comments with FSF
 Emacs fixed (thanks to Christophe Raffalli) - C-x C-v and C-x C-w supposed
 fixed. - have added proof-shell-important-settings - confused
 (initialization) bug: assumed fixed. - proof-shell-handle-error-hook has gone
 - rpm relocatability improved - Added auto-autoloads -
 proof-goals-display-qed-message has gone - added mechanism to close
 goal....<nosave> goal.... sequences - Removed unimportant X's:   * X Consider
 filtering out special annotations from shell buffer

---
 todo | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/todo b/todo
index 7b5e121b..617b5839 100644
--- a/todo
+++ b/todo
@@ -4,8 +4,7 @@
 
 $Id$
 
-This is an outline file.  
-Use C-c C-n, C-c C-p or menu to navigate.
+This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 
 ** 0. Contents
 
-- 
cgit v1.2.3