From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 30 Jan 2006 17:28:13 +0000 (+0000)
Subject: added a couple of todo items
X-Git-Tag: make_still_working~7725
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cb15c06772df8e953df0ed3b1d9c1a41d189f461;p=helm.git

added a couple of todo items
---

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index 8745c56f0..d31afebed 100644
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -1800,6 +1800,10 @@ and V.~Tamburrelli.
 
 \theendnotes
 
+\TODO{rivedere bibliografia, \'e un po' povera}
+
+\TODO{aggiungere entry per le coercion implicite}
+
 \bibliography{matita}
 
 \end{document}