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: 156d974) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 28 Oct 2021 14:42:33 +0000 (16:42 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 28 Oct 2021 14:42:33 +0000 (16:42 +0200)
commit	835d26af0fdaa835b6aa1b35765cb22fb3590c4b
tree	dadb464d75dc9598f81cb9720f69a2684ac7d72b	tree \| snapshot
parent	156d974ad89aa04a086fdf9d332c8b04adf279fd	commit \| diff

partial update in static_2

+ propagation of ground library in static_2/relocation begins
+ additions in ground

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