From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 22 Nov 2005 12:57:06 +0000 (+0000)
Subject: bugfix: return unshared sequent when applying cic -> mathml transformations so that... 
X-Git-Tag: V_0_7_2_3~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=13d6baa55139729871604c0c3f70a70077ba85ca;hp=13d6baa55139729871604c0c3f70a70077ba85ca;p=helm.git

bugfix: return unshared sequent when applying cic -> mathml transformations so that paste work again
---