]>
author | Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it> | |
Tue, 9 Jan 2018 14:33:12 +0000 (15:33 +0100) | ||
committer | Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it> | |
Tue, 9 Jan 2018 14:33:12 +0000 (15:33 +0100) |
matita/matita/.depend.opt | patch | blob | history |