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 | f39bfe067b475f99d3da6c1c62b101e17819c3a4 | |
| tree | 4ffca17c21f0d8bea9993ac8b020ae22648ba36c | tree | snapshot |
| parent | 24fd86ebb1da93bc4ef42c344b0f0dcac3a14d3c | commit | diff |
| matita/matitaGui.ml | diff | blob | history | |
| matita/matitaMathView.ml | diff | blob | history |