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

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

2001-11-12	Stefano Zacchiroli	Added ".db" suffix to urls_of_uris default value.	tree \| commitdiff
2001-02-08	Luca Padovani	added style_dir in configuration file	tree \| commitdiff
2001-02-06	Luca Padovani	added processor_url to configuration file	tree \| commitdiff
2001-02-06	Luca Padovani	bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR	tree \| commitdiff
2001-02-02	Luca Padovani	* empty log message *	tree \| commitdiff
2001-02-02	Luca Padovani	* empty log message *	tree \| commitdiff
2001-02-02	Luca Padovani	* empty log message *	tree \| commitdiff
2001-01-29	Luca Padovani	some improvements	tree \| commitdiff
2001-01-19	Luca Padovani	* empty log message *	tree \| commitdiff
2001-01-19	Luca Padovani	* empty log message *	tree \| commitdiff
2001-01-18	Luca Padovani	Added Files:	tree \| commitdiff
2001-01-17	Luca Padovani	autoconfiguration improved (?)	tree \| commitdiff
2001-01-15	Luca Padovani	added LICENSE	tree \| commitdiff
2001-01-08	Luca Padovani	* empty log message *	tree \| commitdiff
2000-12-29	Claudio Sacerdoti...	now servers.txt and urls_or_uris.db are 666	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	syntax error	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	Provides and Requires now fixed	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	english syntax error fixed	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	More tags	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	configure.cache.* corrected into config.cache.*	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	Default configure cache for creating packages created	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	First changes to make the rpm package	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	1777 (1 = sticky bit) for the library dir	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	bug fixed	tree \| commitdiff
2000-12-28	Claudio Sacerdoti...	More cleaning in distclean	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	install file removed	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	cache usage fixed	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	urls_of_uris.db is now empty	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	library files added	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	distclean target added	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	...	tree \| commitdiff
2000-12-22	Claudio Sacerdoti...	Some advancements	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	gtkmathview-config used	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	bug fixed	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	configuration.xml autoconfigured	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	helm-math-engine-configuration.xml autoconfigured	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	helm-math-engine-configuration.xml autoconfigured	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	configuration.pl.in configured	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	.cvsignore added	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	Autoconf used	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	All files previously in local/$i/helm moved in $i	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	cvsignore added	tree \| commitdiff
2000-12-21	Claudio Sacerdoti...	Using autoconf	tree \| commitdiff
2000-12-19	Luca Padovani	Modified Files:	tree \| commitdiff
2000-12-19	Luca Padovani	Added Files (these are configuration files for the...	tree \| commitdiff
2000-11-24	Claudio Sacerdoti...	http_getter reimplemented from scratch	tree \| commitdiff
2000-11-20	Luca Padovani	local/etc/helm/configuration.xml: changed xmlfile ...	tree \| commitdiff
2000-11-17	Claudio Sacerdoti...	install improved	tree \| commitdiff
2000-11-17	Claudio Sacerdoti...	Nothing important	tree \| commitdiff
2000-11-17	Claudio Sacerdoti...	Nothing important.	tree \| commitdiff
2000-11-16	Claudio Sacerdoti...	Some modularity added	tree \| commitdiff
2000-11-10	Claudio Sacerdoti...	Many bug fixed	tree \| commitdiff
2000-10-31	Claudio Sacerdoti...	configuration file changed	tree \| commitdiff
2000-10-31	Claudio Sacerdoti...	install script added	tree \| commitdiff
2000-10-31	Claudio Sacerdoti...	Initial revision	tree \| commitdiff

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

RSS Atom