]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5102e7f) | patch
ground_2: added missing file
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Oct 2015 15:02:58 +0000 (15:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Oct 2015 15:02:58 +0000 (15:02 +0000)
commit44211a20a89241616eca9afaf9dd8dab6139c571
tree6067ec5aef857eb6709ca9bd9f4c2ac2be88ec67tree | snapshot
parent5102e7f780e83c7fef1d3826f81dfd37ee4028bccommit | diff
ground_2: added missing file
basic_2: commit of grammar completed
13 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_append.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_append.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_lift.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_lift.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_lreq.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_lreq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc_new/lreq/lreq.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lreq/lreq_lreq.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/grammar/lreq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lreq_lreq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.