From 2fde13fa5dae15af652d1f1cb5579ea31514d8b9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Jan 1999 15:08:11 +0000
Subject: Added todo for licence clarification after query from a user.

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

diff --git a/todo b/todo
index 2b0a6154..0f23cff3 100644
--- a/todo
+++ b/todo
@@ -15,6 +15,10 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+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?
+
 B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
   Technical Report.  
 
-- 
cgit v1.2.3