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

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

2004-05-26	Luca Padovani	* bumped to new version	blob \| commitdiff \| raw
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
2003-07-16	Luca Padovani	* updated the help file to reflect the new syntax ...	blob \| commitdiff \| raw \| diff to current
2003-07-11	Claudio Sacerdoti...	Version dumped.	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	pretty print errors using red color instead of h1 text...	blob \| commitdiff \| raw \| diff to current
2003-03-20	Stefano Zacchiroli	added version information	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.