projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 4 Sep 2006 14:21:30 +0000 (14:21 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 4 Sep 2006 14:21:30 +0000 (14:21 +0000) | ||
| commit | 9c17ad6ff2a14f4cad1ef046ab951e2e41b42840 | |
| tree | 93710b1228c5d5492ca712e981b0083c63cf7eab | tree | snapshot |
| parent | 2647a6b8df8fd913b05e33ef8606197cae825281 | commit | diff |
| helm/software/matita/matita.lang | diff | blob | history |