]> matita.cs.unibo.it Git - helm.git/commitdiff
- added 2 TODO items
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 16:11:46 +0000 (16:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 16:11:46 +0000 (16:11 +0000)
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;;