From 2a7a29a2e921ca5c677da3c6720f4d11de014847 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 9 Jun 2000 19:28:28 +0000 Subject: Message about packages needed (incomplete) --- todo | 2 ++ 1 file changed, 2 insertions(+) (limited to 'todo') diff --git a/todo b/todo index f20dbfe4..d6afffca 100644 --- a/todo +++ b/todo @@ -62,6 +62,8 @@ X Solaris bugs: font locking and button enabling. **** A make C-c C-l go to bottom of response buffer while output is arriving (set-window-point (point)) or similar. +**** A Doc new bits: which XEmacs packages does PG use? (for INSTALL) + **** A Doc new bits: proof-next-error **** A Doc new bits: font lock keywords, filename %e, %r. -- cgit v1.2.3