projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 29 Oct 2007 16:13:47 +0000 (16:13 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 29 Oct 2007 16:13:47 +0000 (16:13 +0000) | ||
| commit | 20f2a137ebeaae52ed2c1808ca5adf4c82f06edb | |
| tree | 93cfd8c448363a3b89a3e2fa855a7f7b00ce92eb | tree | snapshot |
| parent | 86e607e77de78302e52b6d1cb1381f5a377be456 | commit | diff |
| helm/software/matita/matita.conf.xml.in | diff | blob | history |