projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 27 Nov 2013 21:47:16 +0000 (21:47 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 27 Nov 2013 21:47:16 +0000 (21:47 +0000) | ||
| commit | 4cd0faedb102c866719990bc1e61b099db0ea39d | |
| tree | 21f47302a026879f9af579bad9fd98311e01e440 | tree | snapshot |
| parent | 23da2aa16489e00889374d81f19cc090faa44582 | commit | diff |
| matita/matita/contribs/lambdadelta/Makefile | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl | [new file with mode: 0644] | blob |