projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 21 Sep 2007 20:47:15 +0000 (20:47 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 21 Sep 2007 20:47:15 +0000 (20:47 +0000) | ||
| commit | a285678ea5f9c46ddadd322d297bb0eda6c17fb6 | |
| tree | fbbbf0c2d48ec5c370fe162e07a8554097dddd88 | tree | snapshot |
| parent | 5ce8c290c718dca7fd18d376b42108f8b947637b | commit | diff |
| matita/matitaInit.ml | diff | blob | history |