]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 835d26a) | patch
update in ground
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 29 Oct 2021 18:11:28 +0000 (20:11 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 29 Oct 2021 18:11:28 +0000 (20:11 +0200)
commit33d0a7a9029859be79b25b5a495e0f30dab11f37
treeea3f00f32b09d5e6309389eeec118742ae3ba4c7tree | snapshot
parent835d26af0fdaa835b6aa1b35765cb22fb3590c4bcommit | diff
update in ground

+ total relocation restarted
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream.etc diff | blob | history
matita/matita/contribs/lambdadelta/ground/etc/relocation/pstream_istot.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground/notation/functions/element_t_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/pr_compose.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/pr_nexts_eq.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_eq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_map.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_nexts.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_pat.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.