projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 29 Sep 2009 12:58:16 +0000 (12:58 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 29 Sep 2009 12:58:16 +0000 (12:58 +0000) | ||
| commit | e8c5ee47727e607b3f6b8e5259f49a051bb8a92e | |
| tree | 01aa55f7d9628801fb24a5c61888e172c156a563 | tree | snapshot |
| parent | e950fb06ecbee032b204461475d47be44303bf91 | commit | diff |
| helm/software/matita/predefined_virtuals.ml | diff | blob | history |