From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 2 Dec 2002 16:11:46 +0000 (+0000)
Subject: - added 2 TODO items
X-Git-Tag: V_0_0_6~16
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=37ac9346846cc656742dd94bba1c7b272ab98128;p=helm.git

- added 2 TODO items
---

diff --git a/helm/uwobo/src/ocaml/uwobo.ml b/helm/uwobo/src/ocaml/uwobo.ml
index 4a4d28470..bc9646b06 100644
--- a/helm/uwobo/src/ocaml/uwobo.ml
+++ b/helm/uwobo/src/ocaml/uwobo.ml
@@ -24,6 +24,13 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* TODO libxslt support 'http_proxy' variables, but IIRC access to this
+variables is mentioned in non-reentrant stuff, so having those variables set
+cause uwobo not to work properly when invoked recursively *)
+
+(* TODO braindead situation: /add of a stylesheet which uri is an uwobo
+invocation *)
+
 open Printf;;
 open Uwobo_common;;