From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 8 Sep 2022 11:02:59 +0000 (+0200)
Subject: partial update in delayed_updating
X-Git-Tag: make_still_working~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=797a607af83f82102033270087722a7e59ddcd17;hp=797a607af83f82102033270087722a7e59ddcd17;p=helm.git

partial update in delayed_updating

+ we add reference by depth with offset
+ component "syntax" updated
+ some improvements
+ height parked for now
---