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

]> matita.cs.unibo.it Git - helm.git/search

2001-03-06	Stefano Zacchiroli	Added ordering in ann and types flags	commit \| commitdiff \| tree
2001-03-05	Stefano Zacchiroli	new version of ls,	commit \| commitdiff \| tree
2001-03-05	Stefano Zacchiroli	Fixed a bug in CGI creation, method "update" now work...	commit \| commitdiff \| tree
2001-02-22	Stefano Zacchiroli	Changed syntax for 'ls' method:	commit \| commitdiff \| tree
2001-02-17	Stefano Zacchiroli	Added 'ls' method: return a list of uri that begin...	commit \| commitdiff \| tree
2001-02-17	Stefano Zacchiroli	helm_wget subroutine now use LWP module and doesn't...	commit \| commitdiff \| tree
2001-02-12	Stefano Zacchiroli	Removed rebuilding of urls_of_uris.db on update user...	commit \| commitdiff \| tree
2001-02-12	Stefano Zacchiroli	modified "update" request handling, now getter rebuild...	commit \| commitdiff \| tree
2001-02-03	Stefano Zacchiroli	Reindented some parts	commit \| commitdiff \| tree
2001-01-31	Stefano Zacchiroli	Added control on some "open" call (with 'or die ...')	commit \| commitdiff \| tree
2001-01-30	Stefano Zacchiroli	Added mixed cache support through HTTP_GETTER_CACHE_MODE...	commit \| commitdiff \| tree
2001-01-24	Stefano Zacchiroli	Added debian dir for debian packaging	commit \| commitdiff \| tree
2001-01-18	Stefano Zacchiroli	Added perl modules check	commit \| commitdiff \| tree
2001-01-15	Stefano Zacchiroli	Added preliminary support for gzipped library	commit \| commitdiff \| tree

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