]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Sat, 6 Feb 2010 13:13:17 +0000 (13:13 +0000)
committerCosimo Oliboni <??>
Sat, 6 Feb 2010 13:13:17 +0000 (13:13 +0000)
commitf7804325dbb5b51820edefe5d5ffff89809fe35c
treeec92a9a8b3e7a8f7a4c96d18a5298fa5613e7a32
parent67303bc29318bd94a31903a92a2127697c5de84e
 freescale porting
helm/software/matita/contribs/ng_assembly2/depends
helm/software/matita/contribs/ng_assembly2/emulator/translation/Freescale_translation.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/translation/IP2022_translation.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/translation/translation.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly2/emulator/translation/translation_base.ma [new file with mode: 0755]