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

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

[helm.git] / helm / on-line / html / cic / control.html

2004-06-10	Claudio Sacerdoti...	Uncommited changes committed.	blob \| commitdiff \| raw
2004-05-28	Claudio Sacerdoti...	Links in the control frame when the URI ends with ...	blob \| commitdiff \| raw \| diff to current
2004-05-28	Claudio Sacerdoti...	stylesheet L added to the metadata chain	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
2004-05-19	Claudio Sacerdoti...	Tempative version: every link is now opened in a new...	blob \| commitdiff \| raw \| diff to current
2003-06-26	Claudio Sacerdoti...	Metadata tools are now working correctly also over...	blob \| commitdiff \| raw \| diff to current
2003-06-26	Claudio Sacerdoti...	The proof-checker should now be working also on .body...	blob \| commitdiff \| raw \| diff to current
2003-06-26	Claudio Sacerdoti...	- Object URL link added	blob \| commitdiff \| raw \| diff to current
2002-10-08	Claudio Sacerdoti...	proofcheckerURL configuration parameter added	blob \| commitdiff \| raw \| diff to current
2001-11-27	Claudio Sacerdoti...	param.annotations was yes or NO. It is now yer or no.	blob \| commitdiff \| raw \| diff to current
2001-10-30	Claudio Sacerdoti...	Simple stylesheet for Dublin Core Metadata rendering.	blob \| commitdiff \| raw \| diff to current
2001-10-24	Claudio Sacerdoti...	metadataControl and demultiplexMutual merged together...	blob \| commitdiff \| raw \| diff to current
2001-10-24	Claudio Sacerdoti...	RDFURI removed because no more unique.	blob \| commitdiff \| raw \| diff to current
2001-07-20	Claudio Sacerdoti...	Added explodeall parameter (default="false") to generat...	blob \| commitdiff \| raw \| diff to current
2001-07-20	Claudio Sacerdoti...	Metadata were broken in MathML presentation mode.	blob \| commitdiff \| raw \| diff to current
2001-06-27	Claudio Sacerdoti...	First version of metadata interface.	blob \| commitdiff \| raw \| diff to current
2001-04-18	Claudio Sacerdoti...	annotationHelper now working again. A control frame...	blob \| commitdiff \| raw \| diff to current
2001-04-11	Claudio Sacerdoti...	Control panel added to CIC window	blob \| commitdiff \| raw \| diff to current

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

RSS Atom