From a719f0d622b32ad1d1e0471afa5dcf0cbb6f5c65 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 18:05:06 +0000
Subject: Note about compilation

---
 todo | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/todo b/todo
index 51ae1bfe..280dfcdc 100644
--- a/todo
+++ b/todo
@@ -37,7 +37,7 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
    * Update menus in texi
   [6 hours]
 
-B Web pages improvements:
+C Web pages improvements:
    - Restructure so that page titles are different to help
    browsing.  (Move links_arr from header.phtml somewhere new,
    and set $pg_title appropriately before head.phtml is included).
@@ -45,6 +45,8 @@ B Web pages improvements:
    TeX installation, or as soon as making release from elsewhere
    works.  Also need to fix inclusion of image in pdf. 
 
+C Check compilation okay, check on use of eval-and-compile.
+
 A BUGS to investigate:
   - Thomas has a bizarre .emacs file which causes Seg Faults with
     Proof General and FSF Emacs.  Doesn't happen with "emacs -q".
-- 
cgit v1.2.3