]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 3 Jan 2023 20:50:27 +0000 (21:50 +0100) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100) | ||
commit | 3f873993c09a55fccb9575b6f1331f075e65d380 | |
tree | 1f203491fb5da5a5d2600f7c74845977e3fced8a | tree | snapshot |
parent | b937cfb77db4fc4651f075947ab31bab296ddcd3 | commit | diff |
matita/matita.opam | diff | blob | history |