projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 27 Jul 2005 08:37:54 +0000 (08:37 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 27 Jul 2005 08:37:54 +0000 (08:37 +0000) | ||
| commit | a7d8c13a2309ca4de1b786c8eec14ea9d1e19d3c | |
| tree | f112d3836f8a93f55817d77f7d864e6851934337 | tree | snapshot |
| parent | f066e0440f654917ca0969b4cbcf3a0d7be8a853 | commit | diff |
| helm/matita/matita.glade | diff | blob | history | |
| helm/matita/matitaGui.ml | diff | blob | history | |
| helm/matita/matitaGui.mli | diff | blob | history |