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

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

2004-07-05	Claudio Sacerdoti...	The part after # must be removed for the control frame.	blob \| commitdiff \| raw
2004-06-10	Claudio Sacerdoti...	Uncommited changes committed.	blob \| commitdiff \| raw \| diff to current
2004-05-27	Claudio Sacerdoti...	&2C ==> %2C	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-08-23	Claudio Sacerdoti...	onLoad="window.focus()" added to every interface window	blob \| commitdiff \| raw \| diff to current
2001-04-18	Claudio Sacerdoti...	annotationHelper now working again. A control frame...	blob \| commitdiff \| raw \| diff to current

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