projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 13:22:41 +0000 (13:22 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 13:22:41 +0000 (13:22 +0000) | ||
| commit | 47ac62b2a4852b82598acd6ac2a9cd0654aa2748 | |
| tree | 2f5a3ffd9c5ca8c864a33f67e6fd5e79ac3d29c4 | tree | snapshot |
| parent | 3d6f9b133e2baa79a8fd220a4ced816ea044a92c | commit | diff |
| helm/software/matita/matitaInit.ml | diff | blob | history |