projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 1 Dec 2009 23:09:26 +0000 (23:09 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 1 Dec 2009 23:09:26 +0000 (23:09 +0000) | ||
| commit | 56566861dd6e1dcb183dd1fa6e5dac758555ca48 | |
| tree | 6400e1c33f6b073f20d8e23e3793d35e8b8f53e6 | tree | snapshot |
| parent | 00da35cbf619e0d1f3d7fde7e6a0e6e4dc6c0915 | commit | diff |
| helm/software/matita/tests/ng_auto.ma | diff | blob | history |