projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 16 Aug 2008 07:27:52 +0000 (07:27 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 16 Aug 2008 07:27:52 +0000 (07:27 +0000) | ||
| commit | 5f3d564c7d5aa321a1a184ece75a5e1802a4fa2a | |
| tree | 030575aa1b67286d4f724cc417c0b9a1901c77d0 | tree | snapshot |
| parent | 13c10bcf4c938ee43746bce6fb0e160b668e374d | commit | diff |
| helm/software/matita/matitaAutoGui.ml | diff | blob | history | |
| helm/software/matita/matitaAutoGui.mli | diff | blob | history | |
| helm/software/matita/matitaGui.ml | diff | blob | history |