From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 10 May 2005 10:10:47 +0000 (+0000)
Subject: ocaml/ todo list
X-Git-Tag: single_binding~95
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=82222e0482f2491aba7b9f09bc2073a4b70ea92a;p=helm.git

ocaml/ todo list
---

diff --git a/helm/ocaml/TODO b/helm/ocaml/TODO
new file mode 100644
index 000000000..6a73fc9a4
--- /dev/null
+++ b/helm/ocaml/TODO
@@ -0,0 +1,3 @@
+parsing:
+- make registry use xmlPushParser (from ocaml/xml/) instead of pxp
+- make cic (universes part) use xmlPushParser (from ocaml/xml/) instead of pxp