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

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

2001-01-29	Luca Padovani	configuration improvements	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	some improvements	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	some adjustments to include files	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	last update was a fake update!!!	commit \| commitdiff \| tree \| snapshot
2001-01-26	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-01-25	Andrea Asperti	ex_ind treated similarly to exT_ind.	commit \| commitdiff \| tree \| snapshot
2001-01-25	Andrea Asperti	ExT_ind implemented.	commit \| commitdiff \| tree \| snapshot
2001-01-25	Luca Padovani	added rm *.spec in Makefile.in	commit \| commitdiff \| tree \| snapshot
2001-01-25	Luca Padovani	configuration script improved	commit \| commitdiff \| tree \| snapshot
2001-01-25	Luca Padovani	updated the binding so that it works well with lablgtk...	commit \| commitdiff \| tree \| snapshot
2001-01-24	Stefano Zacchiroli	Added debian dir for debian packaging	commit \| commitdiff \| tree \| snapshot
2001-01-23	Andrea Asperti	- Bug due to overloading of csymbol letin fixed.	commit \| commitdiff \| tree \| snapshot
2001-01-22	Luca Padovani	patched configure.in for Debian (different location...	commit \| commitdiff \| tree \| snapshot
2001-01-22	Luca Padovani	Removed Files:	commit \| commitdiff \| tree \| snapshot
2001-01-22	Luca Padovani	Removed Files:	commit \| commitdiff \| tree \| snapshot
2001-01-19	Luca Padovani	configure.in : check for perl	commit \| commitdiff \| tree \| snapshot
2001-01-19	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-01-19	Luca Padovani	0.0.2	commit \| commitdiff \| tree \| snapshot
2001-01-19	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-01-19	Luca Padovani	missed conflict resolved, merge	commit \| commitdiff \| tree \| snapshot
2001-01-18	Luca Padovani	Added Files:	commit \| commitdiff \| tree \| snapshot
2001-01-18	Stefano Zacchiroli	Added perl modules check	commit \| commitdiff \| tree \| snapshot
2001-01-17	Luca Padovani	improved autoconfiguration	commit \| commitdiff \| tree \| snapshot
2001-01-17	Luca Padovani	isterix?	commit \| commitdiff \| tree \| snapshot
2001-01-17	Luca Padovani	improved autoconfiguration (well, maybe)	commit \| commitdiff \| tree \| snapshot
2001-01-17	Luca Padovani	improved autoconfiguration and other small fixes, this...	commit \| commitdiff \| tree \| snapshot
2001-01-17	Luca Padovani	autoconfiguration improved (well, maybe)	commit \| commitdiff \| tree \| snapshot
2001-01-17	Luca Padovani	autoconfiguration improved (?)	commit \| commitdiff \| tree \| snapshot
2001-01-17	Luca Padovani	the spec file is now autoconfigured	commit \| commitdiff \| tree \| snapshot
2001-01-17	Luca Padovani	the spec file is not autoconfigured	commit \| commitdiff \| tree \| snapshot
2001-01-17	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-01-17	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-01-15	Luca Padovani	added LICENSE files to be included in the HELM sources	commit \| commitdiff \| tree \| snapshot
2001-01-15	Luca Padovani	LICENSE added	commit \| commitdiff \| tree \| snapshot
2001-01-15	Stefano Zacchiroli	Added preliminary support for gzipped library	commit \| commitdiff \| tree \| snapshot
2001-01-15	Luca Padovani	added LICENSE	commit \| commitdiff \| tree \| snapshot
2001-01-15	Luca Padovani	added LICENSE files	commit \| commitdiff \| tree \| snapshot
2001-01-10	Luca Padovani	Makefile.in: improved support for autoconf	commit \| commitdiff \| tree \| snapshot
2001-01-10	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2001-01-10	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2001-01-08	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2000-12-29	Claudio Sacerdoti...	MIME-BASE64 => MIME-Base64	commit \| commitdiff \| tree \| snapshot
2000-12-29	Claudio Sacerdoti...	syntax error	commit \| commitdiff \| tree \| snapshot
2000-12-29	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-12-29	Claudio Sacerdoti...	Some Requires were missing; the same checks are still...	commit \| commitdiff \| tree \| snapshot
2000-12-29	Claudio Sacerdoti...	Some Requires were missing. Same checks still missing...	commit \| commitdiff \| tree \| snapshot
2000-12-29	Claudio Sacerdoti...	now servers.txt and urls_or_uris.db are 666	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	helm_wget is now executable	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	mywget => helm_wget	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	mywget renamed in helm_wget; autoconf used for helm_wget	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	configuration.ml moved to configuration.ml.in to use...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	Autoconf now used	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	Makefile moved in Makefile.in to use autoconf	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	shared => share	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	syntax error fixed	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	Requires updated	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	first changes to make autoconf work	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	autoconf now used	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	Makefile moved in Makefile.old and start-xaland created.	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	syntax error	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	bug fixed	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	syntax error fixed	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	http_getter.pl is now executable	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	http_getter.pl is now created executable	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	autoconf now used	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	Provides and Requires now fixed	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	Requires and Provides now fixed	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	Only .xsl files in style are now copied	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	bug fixed	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	english syntax error fixed	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	.cvsignore file added	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	First files added	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	More tags	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	configure.cache.* corrected into config.cache.*	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	Default configure cache for creating packages created	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	First changes to make the rpm package	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	1777 (1 = sticky bit) for the library dir	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	bug fixed	commit \| commitdiff \| tree \| snapshot
2000-12-28	Claudio Sacerdoti...	More cleaning in distclean	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	install file removed	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	cache usage fixed	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	urls_of_uris.db is now empty	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	library files added	commit \| commitdiff \| tree \| snapshot
2000-12-22	Claudio Sacerdoti...	distclean target added	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom