projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 29 Sep 2006 12:46:59 +0000 (12:46 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 29 Sep 2006 12:46:59 +0000 (12:46 +0000) | ||
| commit | afde27cb7aaaf833e20cca4f6a4a49571a8196a6 | |
| tree | 2d43310af7b84d0389a478e7243d9570a7d6d7be | tree | snapshot |
| parent | b0daa126ae00c5e484a0f839615c33270277f5a7 | commit | diff |
| helm/software/matita/matitaprover.ml | diff | blob | history |