projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 19 Nov 2005 17:53:18 +0000 (17:53 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 19 Nov 2005 17:53:18 +0000 (17:53 +0000) | ||
| commit | 20952e84b764114c1777d347c993072eaeb9fc16 | |
| tree | e123b2f5d153a800c0a6fd4b87cc0bab790ba38b | tree | snapshot |
| parent | 5c3ae2f17d55098676bd50270ddef0bec93618bf | commit | diff |
| helm/matita/matitaExcPp.ml | diff | blob | history |