projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 28 Dec 2010 21:27:29 +0000 (21:27 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 28 Dec 2010 21:27:29 +0000 (21:27 +0000) | ||
| commit | b9a7832bdd58be9ab5b9547af880bea152f2c3ce | |
| tree | b031c3f34fbec4aa474aa2143630eac509bcfe2b | tree | snapshot |
| parent | eb42b31bafac10a5c5fb2a8baa9f448e3b2bfaaf | commit | diff |
| matita/matita/matita.ml | diff | blob | history | |
| matita/matita/matitaGui.ml | diff | blob | history | |
| matita/matita/matitaGuiTypes.mli | diff | blob | history |