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

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

2005-04-08	Stefano Zacchiroli	bugfix: opt target should build html pages too	blob \| commitdiff \| raw
2005-03-16	Stefano Zacchiroli	make and clean also in html/	blob \| commitdiff \| raw \| diff to current
2005-02-10	Stefano Zacchiroli	removed spurious dependency on Dbi_mysql	blob \| commitdiff \| raw \| diff to current
2004-10-25	Stefano Zacchiroli	- reimplemented basic features using the helm-metadata...	blob \| commitdiff \| raw \| diff to current
2004-06-16	Stefano Zacchiroli	in the particular case of simple searches, Andrea atmos...	blob \| commitdiff \| raw \| diff to current
2004-02-17	Claudio Sacerdoti...	- ported to Helm_registry	blob \| commitdiff \| raw \| diff to current
2004-01-19	Claudio Sacerdoti...	Missing package dependency.	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	- ported to new output_html Disambiguate callback	blob \| commitdiff \| raw \| diff to current
2003-06-23	Claudio Sacerdoti...	Branch V7_3_new_exportation merged.	blob \| commitdiff \| raw \| diff to current

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