]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 27 Sep 2019 13:54:23 +0000 (15:54 +0200) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Fri, 27 Sep 2019 13:54:23 +0000 (15:54 +0200) | ||
commit | 988f17850d6e70b6d89aa18b801f5a59115bb012 | |
tree | 9bbd35f852f2923d7f40a2c2e20d8862731d79c0 | tree | snapshot |
parent | 2cdad3c9cad0558fda99c48c226670a8a7c11b3f | commit | diff |
matita/components/syntax_extensions/.depend | diff | blob | history |