projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 9 Jun 2005 07:35:30 +0000 (07:35 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 9 Jun 2005 07:35:30 +0000 (07:35 +0000) | ||
| commit | 39320e6e7bfe3278598278398389854bd721f756 | |
| tree | 9c385e0bf9ad05f89da2b2ccf4bb7e42af194874 | tree | snapshot |
| parent | fd372e069bbcaa96dc5b2eef04f341b28850d726 | commit | diff |
| helm/matita/matita.glade | diff | blob | history | |
| helm/matita/matitaGui.ml | diff | blob | history | |
| helm/matita/matitaMathView.ml | diff | blob | history |