]>
author | Enrico Tassi <enrico.tassi@inria.fr> | |
Wed, 14 Dec 2005 10:37:25 +0000 (10:37 +0000) | ||
committer | Enrico Tassi <enrico.tassi@inria.fr> | |
Wed, 14 Dec 2005 10:37:25 +0000 (10:37 +0000) | ||
commit | 30028f3f9d4109822f998e2d064b00696db6db59 | |
tree | 5150b59cf1c7c7a3bb97f8b437ec5798c368faad | tree | snapshot |
parent | 78229b5b53f947df657547e682c5365bbba9455b | commit | diff |
helm/matita/tests/bad_tests/Makefile | diff | blob | history |