projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 31 Oct 2007 15:46:37 +0000 (15:46 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 31 Oct 2007 15:46:37 +0000 (15:46 +0000) | ||
| commit | 29930bb717c0fda79b50b693c3e1f1bcd151ca42 | |
| tree | 95f7e7df7f7d3bc0e2db06bdaa39429a83445997 | tree | snapshot |
| parent | 1d158ea3600c90b542d9a52829962a853b5de084 | commit | diff |
| matita/help/C/figures/database.dia | [new file with mode: 0644] | blob |
| matita/help/C/figures/database.png | [new file with mode: 0644] | blob |
| matita/help/C/sec_install.xml | diff | blob | history |
