From 175e1f5570ac5ca316f9afb47a6a593d6a857a40 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 15:19:49 +0000
Subject: adapting manual needs intro fixing

---
 todo | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/todo b/todo
index 95b67be3..c64a353c 100644
--- a/todo
+++ b/todo
@@ -54,6 +54,8 @@ X Solaris bugs: font locking and button enabling.
 
 *** Scheduled improvements for 3.2
 
+**** A Clean up intro for PG-adapting manual.
+
 **** C Fix mode naming for Isabelle 
      (might like isa-proofscript-mode -> isa-mode;
       but this conflicts with entry mechanism for thy/isa mode).
-- 
cgit v1.2.3