projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 26 Oct 2017 20:38:49 +0000 (20:38 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 26 Oct 2017 20:38:49 +0000 (20:38 +0000) | ||
| commit | 0e3962b42f821bd7a2b30345a02488958d70fa2f | |
| tree | 160f40f3682ab30c7c7a97dda0749ed364066442 | tree | snapshot |
| parent | 04fd7eb3c5a819f6ae00dd9033493c0aa434d241 | commit | diff |
| helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl | diff | blob | history | |
| helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl | diff | blob | history |