projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 21 Sep 2009 14:05:59 +0000 (14:05 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 21 Sep 2009 14:05:59 +0000 (14:05 +0000) | ||
| commit | 45f87a7044ccab3d8f1300bfc33ca93a6ad868cb | |
| tree | 086e122ff050423355fd89ff5370a87c8fe6518a | tree | snapshot |
| parent | 849c15ec9cc74737cbf5d392fa565e0630f903d7 | commit | diff |
| helm/software/matita/matita.lang | diff | blob | history |