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 | f20a7c0ed9571dd5a4c16cbbcfc8474947fcb71c | |
| tree | ca1ba62858df39726e634f28b5c9dfec4bf974ee | tree | snapshot |
| parent | 3beaf3083a6677e1ea8228e618f385bef67b7f15 | commit | diff |
| matita/help/C/Makefile | diff | blob | history | |
| matita/help/C/matita.xml | diff | blob | history | |
| matita/help/C/sec_tactics.xml | diff | blob | history |