From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 28 Jul 2003 13:28:11 +0000 (+0000)
Subject: Bug fixed: it could have happened that the tree structured becomes scrambled
X-Git-Tag: LucaOK~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=122304a548cba036c8bb3769e00276b2eb3f179d;hp=122304a548cba036c8bb3769e00276b2eb3f179d;p=helm.git

Bug fixed: it could have happened that the tree structured becomes scrambled
by the highlighting operation.
---