]> matita.cs.unibo.it Git - helm.git/history - helm/style/mk_meta_theory.xsl
made executable again
[helm.git] / helm / style / mk_meta_theory.xsl
2004-01-19 Claudio Sacerdoti... No longer in use. The official repository for the
2004-01-19 Claudio Sacerdoti... Branch V7_3_new_exportation merged.
2002-06-10 Claudio Sacerdoti... XSL Version 0.1 ==> 1.0
2001-11-21 Claudio Sacerdoti... Underlining of hyperlinks removed.
2001-10-24 Claudio Sacerdoti... Porting to RDF syntax.
2001-08-23 Claudio Sacerdoti... * Title added
2001-07-24 Irene Schena--------------------------------------------------...
2001-06-29 Andrea Aspertismall error inside mk_meta_theory.
2001-06-29 Andrea Aspertimk_meta_theory.xsl added