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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

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

2003-06-26	Claudio Sacerdoti...	Metadata tools are now working correctly also over...	blob \| commitdiff \| raw
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.