auto.mo: /home/sacerdot/.matita/xml/matita/tests/auto.moo
/home/sacerdot/.matita/xml/matita/tests/baseuri.moo: baseuri.ma
baseuri.mo: /home/sacerdot/.matita/xml/matita/tests/baseuri.moo
auto.mo: /home/sacerdot/.matita/xml/matita/tests/auto.moo
/home/sacerdot/.matita/xml/matita/tests/baseuri.moo: baseuri.ma
baseuri.mo: /home/sacerdot/.matita/xml/matita/tests/baseuri.moo