From cb15c06772df8e953df0ed3b1d9c1a41d189f461 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 30 Jan 2006 17:28:13 +0000
Subject: [PATCH] added a couple of todo items

---
 helm/papers/matita/matita2.tex | 4 ++++
 1 file changed, 4 insertions(+)

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