matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: a4cacf8) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 24 Jun 2022 21:48:36 +0000 (23:48 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 24 Jun 2022 21:48:36 +0000 (23:48 +0200)
commit	74223db3fc45caccb3cfac80971b29cb0613da28
tree	af6f6f812dbba73bb5dfc28747ac8e8683379272	tree \| snapshot
parent	a4cacf8e269910184348a037106551dbc8a46fd4	commit \| diff

update in delayed_updating

+ ifr_lift proved
+ ifr corrected
+ minor corrections

Unnamed repository; edit this file 'description' to name the repository.