projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 18 Dec 2010 23:37:08 +0000 (23:37 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 18 Dec 2010 23:37:08 +0000 (23:37 +0000) | ||
| commit | d499140be1e8684d99ef51ffef0fb4098ed92369 | |
| tree | fdf401a08ee021017a70895ab86bd4fdad0538fd | tree | snapshot |
| parent | ad3546bfc633935891d8c69ea704c86207c83f57 | commit | diff |
| matita/matita/cicMathView.ml | diff | blob | history | |
| matita/matita/cicMathView.mli | diff | blob | history |