From a1577b3f3b03ac573d930f468003c6105a9d0721 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 1999 13:40:59 +0000
Subject: Updated

---
 todo | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/todo b/todo
index cf8c8a29..525b7979 100644
--- a/todo
+++ b/todo
@@ -33,14 +33,11 @@ A Obscure BUGS to investigate:
   - startup delay when running XEmacs remotely and local display
     is 8 bit.  Suspect an XEmacs issue to do with face allocations.
 
-B Clarify licence situation for Proof General after question from 
-  a potential user. Will the LFCS allow it to be used in a commercial 
-  environment without a special licence agreement? A new licence is
-  currently [22 Jan 1999] being drafted by UNIVED.
-  (And I understand the answer is "yes", so long as no money 
-   is derived directly from ProofGeneral itself).
-  Latest [23 Aug 1999] is that license is not ready!
-  Will ship with 2.2
+C Improve Makefile.devel, Makefile, ProofGeneral.spec by abstracting
+  ELISP_DIRS somehow.
+
+B Improve relocatability of RPM package, and produce package for XEmacs
+  which installs directly under ~/.xemacs/packages.
 
 B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
   Technical Report.  
-- 
cgit v1.2.3