]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1109361) | patch
update in ground
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 30 Nov 2021 16:31:19 +0000 (17:31 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Tue, 30 Nov 2021 16:31:19 +0000 (17:31 +0100)
commit9709aaeb059e24359d5d8a3997ef22974bff3718
tree112b31edc3c5cf45668f9fc8df40e8952acb0ac8tree | snapshot
parent11093619476326238c2ef9d2dfe9150b8c9bc920commit | diff
update in ground

+ total relocation begins
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream.etc diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_map.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_pat.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.