]> matita.cs.unibo.it Git - helm.git/history - helm/graphs/tools/drawGraph.ml
snapshot
[helm.git] / helm / graphs / tools / drawGraph.ml
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-02-16 Claudio Sacerdoti... drawGraph ported to Helm_registry.
2004-01-19 Claudio Sacerdoti... Typo fixed.
2003-12-16 Stefano Zacchiroli- use ocaml-http instead of netclient for http GET...
2003-02-23 Stefano Zacchiroli- better error messages on make failure
2002-11-20 Stefano Zacchiroli- get working directory from env var DRAW_GRAPH_DIR
2002-11-19 Stefano Zacchiroliadded ocaml version of draw_graph and uri_set_queue