From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 28 Apr 2003 17:16:46 +0000 (+0000)
Subject: When the stylesheet from TML to MathML generated a document without a root
X-Git-Tag: before_refactoring~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=5a369548a2f04fb59b5cbb94526325aae9bf415a;hp=5a369548a2f04fb59b5cbb94526325aae9bf415a;p=helm.git

When the stylesheet from TML to MathML generated a document without a root
an assertion failed. The new implementation creates an empty document
(with only a m:math root element) and prints an error message (using the
logger).
---