matita.cs.unibo.it Git - helm.git/history

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/getter

2004-02-24	Claudio Sacerdoti...	Added parameter format=text\|xml to getalluris.	tree \| commitdiff
2004-02-23	Claudio Sacerdoti...	A lazy value was put in place of a function ==> the...	tree \| commitdiff
2004-02-23	Claudio Sacerdoti...	"add_server?position=0" no longer worked (raised an...	tree \| commitdiff
2004-02-18	Claudio Sacerdoti...	The order IS significative. Changing the order (in...	tree \| commitdiff
2004-02-18	Claudio Sacerdoti...	typo fixed. Used to break the ls method.	tree \| commitdiff
2004-02-12	Ferruccio Guidi	new .depend files	tree \| commitdiff
2004-02-11	Stefano Zacchiroli	- getter revolution: split backend and frontend (this...	tree \| commitdiff
2004-01-22	Claudio Sacerdoti...	Typo fixed.	tree \| commitdiff
2003-12-16	Stefano Zacchiroli	use ocaml-http instead of netclient for http GET requests	tree \| commitdiff
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	tree \| commitdiff
2002-08-30	Ferruccio Guidi	user name added to tmp file name	tree \| commitdiff
2002-01-10	Claudio Sacerdoti...	CIC Textual Parser added to the repository.	tree \| commitdiff
2001-11-29	Claudio Sacerdoti...	* .mli added where needed	tree \| commitdiff
2001-11-27	Claudio Sacerdoti...	1) .cma/.cmxa used to simplify META files.	tree \| commitdiff
2001-11-26	Claudio Sacerdoti...	.cvsignore and .depend forgot	tree \| commitdiff
2001-11-26	Claudio Sacerdoti...	HELM OCaml libraries with findlib support.	tree \| commitdiff

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