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

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

2004-07-05	Claudio Sacerdoti...	cleanURI now removes also the part that follows the...	blob \| commitdiff \| raw
2004-06-17	Claudio Sacerdoti...	- moogle replaces the old search engine	blob \| commitdiff \| raw \| diff to current
2004-05-28	Luca Padovani	* makeProofTreeURL ported to the new interface	blob \| commitdiff \| raw \| diff to current
2004-05-28	Claudio Sacerdoti...	Links in the control frame when the URI ends with ...	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...	Major interface improvements.	blob \| commitdiff \| raw \| diff to current
2004-05-25	Luca Padovani	##################################################...	blob \| commitdiff \| raw \| diff to current
2001-07-23	Claudio Sacerdoti...	Fixed a problem of Netscape with 'file:///' URL.	blob \| commitdiff \| raw \| diff to current
2001-06-22	Claudio Sacerdoti...	Many modifications to avoid JavaScript security rules of	blob \| commitdiff \| raw \| diff to current

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