projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 20 Mar 2008 13:07:09 +0000 (13:07 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 20 Mar 2008 13:07:09 +0000 (13:07 +0000) | ||
| commit | b2a190e3c2d5b594d409db937e88f9f4f7d22b8c | |
| tree | ccc4b6f12a584858d80688d2840ac9f562710120 | tree | snapshot |
| parent | a840c90571f0d819593405c389728c2c65e24e61 | commit | diff |
| helm/software/matita/tests/decl.ma | diff | blob | history |