From 8cabd2c3c7c5f41d5d7e2e6042217353960f6394 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Sat, 23 Jan 1999 16:42:12 +0000
Subject: . Clarified LEGO specific TODO . Updated situation on License issue

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

diff --git a/todo b/todo
index a1ae91bc..cbb1a439 100644
--- a/todo
+++ b/todo
@@ -21,7 +21,8 @@ X (Low)    probably not worth wasting time on
 
 A 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?
+  environment without a special licence agreement? A new licence is
+  currently [22 Jan 1999] being drafted by UNIVED
 
 B Add a "register" page for registering downloads.  Perhaps filling
   will be mandatory for users in a non-academic environment.
@@ -480,7 +481,11 @@ X Add support for changing directory when scripting buffer changes
   (see proof-activate-scripting-hook).  This would alleviate users
   from some messing with LEGOPATH.  (Possibly contentious).
 
-X Mechanism to save object file
+X Mechanism to save object file. Specifically, after having processed
+  a script (interactively), it would be nice if one could now save the
+  buffer in object format. At the moment, it only gets converted
+  (automatically) when it is read in indirectly at a later stage.
+  However, there is currently no LEGO command to do this.  [4h]
 
 
 * Here are things to be done to Coq mode
-- 
cgit v1.2.3