projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 8 Oct 2009 09:47:47 +0000 (09:47 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 8 Oct 2009 09:47:47 +0000 (09:47 +0000) | ||
| commit | 60d2eb6a56200d4ddd7bae8ce6eabe464258926d | |
| tree | b0049a52158b5478d2200adf34b2660d798cf62e | tree | snapshot |
| parent | b032b1dd4eab94d5bd43f6daf5ca5f9939ebc895 | commit | diff |
| helm/software/matita/tests/depends | diff | blob | history | |
| helm/software/matita/tests/ng_auto.ma | [new file with mode: 0644] | blob |