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

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

2000-11-06	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-11-06	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-11-03	Claudio Sacerdoti...	Temporary patch for threads and and_ind, or_ind, ...	commit \| commitdiff \| tree \| snapshot
2000-11-03	Claudio Sacerdoti...	The interface sorts the entryes in the trees	commit \| commitdiff \| tree \| snapshot
2000-11-03	Claudio Sacerdoti...	Set notation now working again	commit \| commitdiff \| tree \| snapshot
2000-11-03	Claudio Sacerdoti...	FIX body bug fixed	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	Minor modification	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	Added style before natural language synthesis	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	Unuseful file removed	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	Patch to the hard-coded constant in http_getter.pl	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	HELM_CONFIGURATION_PREFIX added to OCaml files	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	HELM_CONFIGURATION_PREFIX now used	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	configuration file changed	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	install script added	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	Binary files added to .cvsignore	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	.cvsignore created	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-10-31	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2000-10-31	no author	New repository initialized by cvs2svn.	commit \| commitdiff \| tree \| snapshot

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

RSS Atom