]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Sat, 30 Jan 2010 09:45:32 +0000 (09:45 +0000)
committerCosimo Oliboni <??>
Sat, 30 Jan 2010 09:45:32 +0000 (09:45 +0000)
commitd6a9ed2a08fcc4e3e26a40cde8cab88c2c69cb3a
treefc1f3dd9c00385402aa8e87a14a76a496cd13cbd
parenteb4144a401147a44a9620169eb6dafeb8f5a2c17
 freescale porting
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/emulator/status/status.ma
helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma
helm/software/matita/contribs/ng_assembly/emulator/translation/Freescale_translation.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/translation/HC05_translation.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/translation/HCS08_translation.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/translation/IP2022_translation.ma
helm/software/matita/contribs/ng_assembly/emulator/translation/RS08_translation.ma [deleted file]
helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma