projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 13:22:41 +0000 (13:22 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 13:22:41 +0000 (13:22 +0000) | ||
| commit | ea9b2699aeeb95ba29f8b4f98f2f8a50f0093d47 | |
| tree | 74812a17f4ebaa9c7afc91f7e6fd9cc54adb0853 | tree | snapshot |
| parent | e8e4a4f0786b0c8557d6f10a9ffdeff17e951b14 | commit | diff |
| matita/matitaInit.ml | diff | blob | history |