From 53a6404d7394d16783bfc7fb9652993b426938fb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 11:09:20 +0000
Subject: Note of what to do

---
 doc/ProofGeneral.texi | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 73e021b2..0c84ca99 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1,3 +1,4 @@
+@c TODO: check new doc for hiding; add doc for dependencies, tracing.
 
 \def\fontdefs{\psfamily{bsf}{r}{c}{b}{b}{ri}{ri}{ro}{bo}\def\mainmagstep{1200}}
 \input texinfo
-- 
cgit v1.2.3