projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 11 Jan 2011 22:26:45 +0000 (22:26 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 11 Jan 2011 22:26:45 +0000 (22:26 +0000) | ||
| commit | 90f0070a8b639b622501bfff36e3e44853f34042 | |
| tree | 56ed4975dead0358a0a9debfbfc9848496ae0851 | tree | snapshot |
| parent | 9829f5885ee8cecab0ffcfcba5ef558fc976f601 | commit | diff |
| matita/matita/matitaGui.ml | diff | blob | history |