projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 2 Oct 2006 15:30:44 +0000 (15:30 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 2 Oct 2006 15:30:44 +0000 (15:30 +0000) | ||
| commit | 0663e736012a6bf2af56758181252289e79352d2 | |
| tree | ca0490d6fce2cf6cfdefda0fcc631c4344adeab8 | tree | snapshot |
| parent | 2891805f46435d70ef14e81cc2df7c729fe258ad | commit | diff |
| helm/software/matita/tests/applys.ma | diff | blob | history |