projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 9 Feb 2005 15:06:25 +0000 (15:06 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 9 Feb 2005 15:06:25 +0000 (15:06 +0000) | ||
| commit | dcb9e3da241393db2a23fd7925cd9543a4034205 | |
| tree | 6ba05b346daea7fb57b22ffcdf34ce8a263ab3de | tree | snapshot |
| parent | fc4c2a406cdd4987f5586aae8c574ddaff00a7e4 | commit | diff |
| helm/matita/matitaGui.ml | diff | blob | history | |
| helm/matita/matitaGui.mli | diff | blob | history |