From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 7 Jan 2011 13:55:48 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~2605
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fe5542c1ce4e78d2ec4e9b39cfc4f06182555e99;p=helm.git

...
---

diff --git a/matita/matita/DA_FARE b/matita/matita/DA_FARE
index 240797ad8..12cfa18f4 100644
--- 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