]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 8 Jun 2012 08:59:06 +0000 (08:59 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 8 Jun 2012 08:59:06 +0000 (08:59 +0000) | ||
commit | 0460fd3dc2909efe0baa6592281d0cf0527165ff | |
tree | cebd4e583752bd8a0b993ae2cf48239f62a7956b | tree | snapshot |
parent | 46990564407e2402686022884767fc749a97d734 | commit | diff |
matita/matita/matitaGui.ml | diff | blob | history |