projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 6 Oct 2010 15:02:58 +0000 (15:02 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 6 Oct 2010 15:02:58 +0000 (15:02 +0000) | ||
| commit | f61ffe97078aab1e47ee1b7f212e707b0412e77e | |
| tree | 88c7d99fce1868ad78f675b3594a7d1109fb4b87 | tree | snapshot |
| parent | 5abc99efce12b00f1b4fa981c04be47c213ebe61 | commit | diff |
| matita/configure.ac | diff | blob | history |