From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 11 Sep 2022 21:13:53 +0000 (+0200)
Subject: update in delayed_updating
X-Git-Tag: make_still_working~35
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9e31ac1f3f868349154b0ce2e550e2476aaf6a30;hp=9e31ac1f3f868349154b0ce2e550e2476aaf6a30;p=helm.git

update in delayed_updating

+ reference by depth with offset parked for now
---