projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 18 Sep 2008 14:44:21 +0000 (14:44 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 18 Sep 2008 14:44:21 +0000 (14:44 +0000) | ||
| commit | 58459b93b63eb16cd643fddaf8b19bdb58a34dec | |
| tree | 3682586fa996ddb16accec2d880967bfa466d85f | tree | snapshot |
| parent | 2b53a3735b2a6130726e0a0451993cd679fd5935 | commit | diff |
| helm/software/matita/applyTransformation.ml | diff | blob | history | |
| helm/software/matita/library/depends | diff | blob | history |