projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 10 Jun 2006 14:44:43 +0000 (14:44 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 10 Jun 2006 14:44:43 +0000 (14:44 +0000) | ||
| commit | 7e374b23b0990d58217467b73e518e59781cb67d | |
| tree | 659e3ba1985ddda86b3c49a8eb3f968824ac5e5b | tree | snapshot |
| parent | 5b99087bf1b8b8fb1086a72feb6f3fb258a402d8 | commit | diff |
| helm/software/matita/help/C/Makefile | diff | blob | history | |
| helm/software/matita/help/C/matita.xml | diff | blob | history | |
| helm/software/matita/help/C/sec_tactics.xml | diff | blob | history |