1) mml2mmlv1_0.xsl: added comments beginning with "HELM:" to the last
modifications
2) rootcontent.xsl: updated comments
3) roottheory.xsl: ready to be the starting stylesheet for
theory files in place of theory_content.xsl
4) theory_pres.xsl: "import" in place of "include" for
annotated_pres.xsl
Removed Files:
annotatedcont.xsl.csc content.xsl.csc
content_senza_tipi.13.9.00.xsl mml2mmlv1_0_original.xsl
mmlextension_andrea.xsl mmlextension_irene.xsl
objcontent.xsl.csc objcontent_old.xsl proof31-10-00.xsl
rootcontent_withproofs.xsl
style_prima_del_linguaggio_naturale/annotatedcont.xsl.csc
style_prima_del_linguaggio_naturale/content.xsl.csc
style_prima_del_linguaggio_naturale/mmlextension_andrea.xsl
style_prima_del_linguaggio_naturale/mmlextension_irene.xsl
style_prima_del_linguaggio_naturale/objcontent.xsl.csc
style_prima_del_linguaggio_naturale/objcontent_old.xsl
style_prima_del_linguaggio_naturale/rootcontent_withproofs.xsl