matita.cs.unibo.it Git - helm.git/history - helm/uwobo/src/ocaml/uwobo.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo/src/ocaml/uwobo.ml

2002-12-02	Stefano Zacchiroli	- unset http_proxy to avoid libxslt related problems	blob \| commitdiff \| raw
2002-12-02	Stefano Zacchiroli	- added 2 TODO items	blob \| commitdiff \| raw \| diff to current
2002-12-02	Stefano Zacchiroli	- written help message	blob \| commitdiff \| raw \| diff to current
2002-12-01	Stefano Zacchiroli	- bugfix (or hack, as you wish :-) for recursive invoca...	blob \| commitdiff \| raw \| diff to current
2002-11-29	Stefano Zacchiroli	snapshot Fri, 29 Nov 2002 17:17:46 +0100 zack	blob \| commitdiff \| raw \| diff to current
2002-11-29	Stefano Zacchiroli	snapshot Fri, 29 Nov 2002 12:38:23 +0100 zack	blob \| commitdiff \| raw \| diff to current
2002-11-27	Stefano Zacchiroli	snapshot Wed, 27 Nov 2002 18:10:57 +0100	blob \| commitdiff \| raw \| diff to current
2002-11-27	Stefano Zacchiroli	snapshot Wed, 27 Nov 2002 14:47:14 +0100	blob \| commitdiff \| raw \| diff to current
2002-11-27	Stefano Zacchiroli	snapshot Wed, 27 Nov 2002 02:45:45 +0100	blob \| commitdiff \| raw \| diff to current
2002-11-26	Stefano Zacchiroli	cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100	blob \| commitdiff \| raw \| diff to current
2002-11-26	Stefano Zacchiroli	uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.