projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 20 Apr 2004 09:41:10 +0000 (09:41 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 20 Apr 2004 09:41:10 +0000 (09:41 +0000) | ||
| commit | d651bf2e3d560e194fbe948dd950dd600a40eab6 | |
| tree | 39338ad124b59ccd731032bbd622719ed3eecb04 | tree | snapshot |
| parent | c5d4ad1c98c1434b95a8a9b1c8697dd36cf39623 | commit | diff |
| helm/matita/Makefile.in | diff | blob | history | |
| helm/matita/configure.ac | diff | blob | history |