matita.cs.unibo.it Git - helm.git/history - helm/on-line/html/configuration.html

]> matita.cs.unibo.it Git - helm.git/history - helm/on-line/html/configuration.html

2004-06-10	Claudio Sacerdoti...	New profile param: searchengineURL	blob \| commitdiff \| raw
2004-06-10	Claudio Sacerdoti...	Interface URL can now be setted.	blob \| commitdiff \| raw \| diff to current
2004-05-27	Claudio Sacerdoti...	New HELM interface almost stable.	blob \| commitdiff \| raw \| diff to current

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