...

[helm.git] / matita / matita / DA_FARE

diff --git a/matita/matita/DA_FARE b/matita/matita/DA_FARE
index 240797ad8a960653df8bafcfc9c76d259f2007e2..12cfa18f4adfba419baa0bbce2a15eec79eaff3b 100644 (file)
--- a/matita/matita/DA_FARE
+++ b/matita/matita/DA_FARE
@@ -1,5 +1,6 @@
 MATITA 1.0:
   matitaMathView*: selezione semantica, hyperlink, etc.
+  coercion declaration has no "nocomposites" option, and no compact syntax.
 
 Problemi (MATITA 1.0):
   matitaEngine: durante la compilazione, che accade allo storage/env? dovrei