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

2002-10-08	Claudio Sacerdoti...	proofcheckerURL configuration parameter added	blob \| commitdiff \| raw
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.