Updated

1 files 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.