]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df11c23) | patch
cpxs_drops completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Mar 2017 11:54:10 +0000 (11:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Mar 2017 11:54:10 +0000 (11:54 +0000)
commit65383ff6ec2236b0a61310b872ea4cd5fcc26fb7
tree1cc5881d8930f33568020715904af552841ebe95tree | snapshot
parentdf11c235566a301d9e1f9e41a372cc85bcb7b60ecommit | diff
cpxs_drops completed
matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/partial_compile.sh [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.