]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Fri, 5 Jan 2018 20:17:18 +0000 (21:17 +0100) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Fri, 5 Jan 2018 20:17:18 +0000 (21:17 +0100) |
matita/matita/matita.conf.xml.in | patch | blob | history |