1 files changed, 4 insertions, 0 deletions
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.