projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 31 May 2005 13:41:21 +0000 (13:41 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 31 May 2005 13:41:21 +0000 (13:41 +0000) | ||
| commit | e2beb1cd1269cc4dd94c184b85193f0fbc935324 | |
| tree | d9fe8622725f5afd91b42bff95ba2a4f3804145c | tree | snapshot |
| parent | bb71ef3952f9dba1487a6b655752438005aa9ec9 | commit | diff |
| helm/matita/matitaGui.ml | diff | blob | history | |
| helm/matita/tests/comments.ma | diff | blob | history |