From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 21 Nov 2002 17:00:49 +0000 (+0000)
Subject: The notational stylesheets from CIC to MathML Content are now automatically
X-Git-Tag: V_0_0_5~10
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6dd0e56f785c5b7e19b4c0de596f2e8d1baffadb;hp=6dd0e56f785c5b7e19b4c0de596f2e8d1baffadb;p=helm.git

The notational stylesheets from CIC to MathML Content are now automatically
generated by Di Lena's meta_style. Rember to add a new entry to servers.txt!!!
---