]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Fri, 7 May 2010 10:04:00 +0000 (10:04 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Fri, 7 May 2010 10:04:00 +0000 (10:04 +0000) | ||
commit | 6c4c95026020ae9924ac652482a8a0f731719e6c | |
tree | 93085fa685ff37d04ef81524b7130e2d1394d7e5 | tree | snapshot |
parent | 102cb2ba885b9fa93c824c7c07ba2467cfec0e16 | commit | diff |
helm/software/matita/matita.lang | diff | blob | history |