projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 12 Sep 2005 16:37:40 +0000 (16:37 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 12 Sep 2005 16:37:40 +0000 (16:37 +0000) | ||
| commit | 1d3b5ed3e177113e6009d2e630dc60c55c8bab8d | |
| tree | dcb347a9d9f93746044ea9d9d15149d780b96e61 | tree | snapshot |
| parent | 61811d33c5f860c0a145c63331f92448394107ed | commit | diff |
| helm/matita/dictionary-matita.xml | diff | blob | history |