From fe5542c1ce4e78d2ec4e9b39cfc4f06182555e99 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 7 Jan 2011 13:55:48 +0000
Subject: [PATCH] ...

---
 matita/matita/DA_FARE | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.39.2