]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo.ml
- added 2 TODO items
[helm.git] / helm / uwobo / src / ocaml / uwobo.ml
index 4a4d28470c6e06f63ff602e72bc81d948ddc46f9..bc9646b062e0dd3e1a5b16ef907b64bcd6decd1f 100644 (file)
  * 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;;