projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 6 Mar 2015 19:37:30 +0000 (19:37 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 6 Mar 2015 19:37:30 +0000 (19:37 +0000) | ||
| commit | 78d9265b6261eb24cad483fb57a386e39eae6a3c | |
| tree | 0365147ca69f5abffbcf801c556f23304cb8cfcb | tree | snapshot |
| parent | 639e798161afea770f41d78673c0fe3be4125beb | commit | diff |
| matita/matita/contribs/lambdadelta/basic_1/etc/performance.txt | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_1/etc/planes.txt | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_1/planes.txt | [deleted file] | blob | history |