]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Mon, 25 Jul 2005 10:16:06 +0000 (10:16 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Mon, 25 Jul 2005 10:16:06 +0000 (10:16 +0000) | ||
commit | 13fab17e3d3dee05df676985c065ae54a5766870 | |
tree | 43e45dc8aac4a12be0a4cb2195075211131475e2 | tree | snapshot |
parent | 84c9131c30a4a991c595f61620794b1b75a5a16d | commit | diff |
helm/matita/.cvsignore | diff | blob | history | |
helm/matita/buildTimeConf.ml.in | diff | blob | history | |
helm/matita/configure.ac | diff | blob | history | |
helm/matita/core_notation.ma | diff | blob | history | |
helm/matita/dictionary-matita.xml | [new file with mode: 0644] | blob |
helm/matita/gtkmathview.matita.conf.xml.in | [new file with mode: 0644] | blob |
helm/matita/matita.ml | diff | blob | history |