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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / configuration / install

2000-12-22	Claudio Sacerdoti...	install file removed	commit \| commitdiff
2000-12-19	Luca Padovani	Modified Files:	commit \| commitdiff
2000-11-17	Claudio Sacerdoti...	install improved	commit \| commitdiff
2000-11-10	Claudio Sacerdoti...	Many bug fixed	commit \| commitdiff
2000-10-31	Claudio Sacerdoti...	install script added	commit \| commitdiff

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