matita.cs.unibo.it Git - helm.git/history - helm/on-line/xslt/toplevel

]> matita.cs.unibo.it Git - helm.git/history - helm/on-line/xslt/toplevel_header.xsl

2004-06-17	Claudio Sacerdoti...	- moogle replaces the old search engine	blob \| commitdiff \| raw
2004-05-28	Claudio Sacerdoti...	.body removed from bread crumb trail	blob \| commitdiff \| raw \| diff to current
2004-05-27	Claudio Sacerdoti...	New HELM interface almost stable.	blob \| commitdiff \| raw \| diff to current
2004-05-26	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2004-05-26	Claudio Sacerdoti...	param.processorURL added (need by the search engine)	blob \| commitdiff \| raw \| diff to current
2004-05-26	Claudio Sacerdoti...	target="_top" added to Search.	blob \| commitdiff \| raw \| diff to current
2004-05-26	Claudio Sacerdoti...	Link to the search-engine hard-coded.	blob \| commitdiff \| raw \| diff to current
2004-05-26	Claudio Sacerdoti...	Major interface upgrade still going on. But we are...	blob \| commitdiff \| raw \| diff to current
2004-05-26	Claudio Sacerdoti...	Major interface improvements.	blob \| commitdiff \| raw \| diff to current
2004-05-25	Luca Padovani	##################################################...	blob \| commitdiff \| raw \| diff to current

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