projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 2 Nov 2005 17:48:14 +0000 (17:48 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 2 Nov 2005 17:48:14 +0000 (17:48 +0000) | ||
| commit | 7f842db771e5c3a4e9dbefb56dd1005b229ed214 | |
| tree | 4ec123527204db021cd640b7f77aa8c9ba06fcd1 | tree | snapshot |
| parent | ece327b29449e1fada4dc5865cb5dae2738ef2c3 | commit | diff |
| helm/matita/Makefile.in | diff | blob | history | |
| helm/matita/configure.ac | diff | blob | history |