projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 5 Jan 2009 15:33:42 +0000 (15:33 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 5 Jan 2009 15:33:42 +0000 (15:33 +0000) | ||
| commit | cfb29525a97a9506b8200934b28ff34a30aa516b | |
| tree | 1c90c2c61cdf09b3cf265329e19fe5c981836add | tree | snapshot |
| parent | 4ef108b156ee542451abf57feb5bd9b501d8e977 | commit | diff |
| helm/software/matita/predefined_virtuals.ml | diff | blob | history |