projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 29 Aug 2006 13:22:03 +0000 (13:22 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 29 Aug 2006 13:22:03 +0000 (13:22 +0000) | ||
| commit | f86133c436f18963db383d8918eceefc7adf10ff | |
| tree | 7fcbbdeb885ebfeaa5824048d259038006ef37e1 | tree | snapshot |
| parent | 71514bcf3ee362f9d10e2933ab17f2d4ede1ae32 | commit | diff |
| matita/help/C/sec_terms.xml | diff | blob | history |