]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11792b8) | patch
pre commit for lexs ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Feb 2016 11:20:14 +0000 (11:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Feb 2016 11:20:14 +0000 (11:20 +0000)
commit093a2290feb8244a2397fa4767c283893a59f5e5
tree27d2dad0ce1f4c7e8e7171be8dc33cb1dc9b656btree | snapshot
parent11792b819aba3f464e63cb8f7834cac1652e372acommit | diff
pre commit for lexs ...
matita/matita/contribs/lambdadelta/basic_2/etc_new/lpx_sn/lpx_sn_alt.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/lpx_sn/lpx_sn_drop.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lpx_sn_drops.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_alt.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_drop.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lpx_sn_tc.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.