From fc3004e030bb183e912c355d418fb9cbef65262b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Sep 2001 12:45:15 +0000
Subject: Remove spurious comment at start

---
 doc/ProofGeneral.texi | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'doc/ProofGeneral.texi')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 8b411831..e5420331 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1,6 +1,3 @@
-@c TODO: check new doc for hiding; add doc for dependencies, tracing.
-@c Stuff for moving spans, navigating through locked region.
-
 \def\fontdefs{\psfamily{bsf}{r}{c}{b}{b}{ri}{ri}{ro}{bo}\def\mainmagstep{1200}}
 \input texinfo
 @c
-- 
cgit v1.2.3