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

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

2004-06-03	Claudio Sacerdoti...	Objects ordering is now case-insensite.	blob \| commitdiff \| raw
2004-05-31	Claudio Sacerdoti...	Ordering is now done in no-case style.	blob \| commitdiff \| raw \| diff to current
2004-05-30	Claudio Sacerdoti...	The theory index.theory, if present, is shown at the...	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 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.