]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000) | ||
commit | e15e22b0bb0723470473e37ccbcd75b90494c614 | |
tree | 4a870e78bdb59040a1a575134dfd8d878a4f45c8 | tree | snapshot |
parent | 49e234b2701fdab2364a0e620111d8149450a50f | commit | diff |
helm/software/matita/help/C/matita.xml | diff | blob | history | |
helm/software/matita/help/C/sec_install.xml | diff | blob | history | |
helm/software/matita/help/C/sec_tactics.xml | diff | blob | history |