projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 16 Nov 2007 19:32:12 +0000 (19:32 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 16 Nov 2007 19:32:12 +0000 (19:32 +0000) | ||
| commit | 1c361432e4fd08de7a85c108ccfc6990d6ffd141 | |
| tree | 35c3d6cb36dd48f37b78416ad0a64f3b6c1f1a27 | tree | snapshot |
| parent | 61335e51e822f447054d7dfd2ad71dcbe8e61c06 | commit | diff |
| helm/software/matita/matitaGui.ml | diff | blob | history | |
| helm/software/matita/matitaMathView.ml | diff | blob | history |