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

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

2005-05-19	Stefano Zacchiroli	changed debugging code which saves xml input document...	blob \| commitdiff \| raw
2005-05-19	Stefano Zacchiroli	- die on CTRL-C or init.d/... stop instead of resurrecting	blob \| commitdiff \| raw \| diff to current
2004-10-25	Stefano Zacchiroli	ported to latest ocaml-http	blob \| commitdiff \| raw \| diff to current
2004-09-20	Stefano Zacchiroli	fixed parse error for ocaml 3.08	blob \| commitdiff \| raw \| diff to current
2004-05-27	Luca Padovani	* it is now possible to set multiple parameters upon...	blob \| commitdiff \| raw \| diff to current
2004-05-27	Luca Padovani	* setpassword passwords swapped	blob \| commitdiff \| raw \| diff to current
2004-05-27	Luca Padovani	* implemented setparams method for setting multiple...	blob \| commitdiff \| raw \| diff to current
2004-05-26	Luca Padovani	* getparams returns annotated pairs key,values	blob \| commitdiff \| raw \| diff to current
2004-05-26	Luca Padovani	* added external documentation in tex format	blob \| commitdiff \| raw \| diff to current
2004-05-24	Luca Padovani	* setprofileparam ==> setparam	blob \| commitdiff \| raw \| diff to current
2004-05-22	Luca Padovani	* updated respond_error messages after API change in...	blob \| commitdiff \| raw \| diff to current
2004-02-16	Claudio Sacerdoti...	Ported to Helm_registry.	blob \| commitdiff \| raw \| diff to current
2003-12-17	Stefano Zacchiroli	use ocaml-http instead of netclient for http requests	blob \| commitdiff \| raw \| diff to current
2003-09-18	Claudio Sacerdoti...	prop.media-type and prop.encoding were _NOT_ considered...	blob \| commitdiff \| raw \| diff to current
2003-05-15	Claudio Sacerdoti...	Several changes:	blob \| commitdiff \| raw \| diff to current
2003-05-15	Claudio Sacerdoti...	New: two new methods added	blob \| commitdiff \| raw \| diff to current
2003-04-04	Stefano Zacchiroli	- redesigned error and warning handling for libxslt	blob \| commitdiff \| raw \| diff to current
2003-03-25	Stefano Zacchiroli	reload/remove all stylesheets now prints also which...	blob \| commitdiff \| raw \| diff to current
2003-03-25	Stefano Zacchiroli	added feedback for reload/remove methods (close #39)	blob \| commitdiff \| raw \| diff to current
2003-03-15	Stefano Zacchiroli	- added support for environment specified log file...	blob \| commitdiff \| raw \| diff to current
2003-03-15	Stefano Zacchiroli	- catch libxslt error and debugging messages and return...	blob \| commitdiff \| raw \| diff to current
2003-03-12	Stefano Zacchiroli	moved uwobo sources to the root uwobo directory	blob \| commitdiff \| raw \| diff to current

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

RSS Atom