]> matita.cs.unibo.it Git - helm.git/commit
freescale porting
authorCosimo Oliboni <??>
Mon, 25 Jan 2010 06:56:56 +0000 (06:56 +0000)
committerCosimo Oliboni <??>
Mon, 25 Jan 2010 06:56:56 +0000 (06:56 +0000)
commitb886a562ccbfc3f63b8f64a135bcf70e4b189999
treeee473920ade26a6bb0aa133dbd0b3a5b923dd7af
parent34cdd4af2d7bdac3bab74a54123fbfcb02fa0403
 freescale porting
18 files changed:
helm/software/matita/contribs/ng_assembly/common/option.ma
helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma
helm/software/matita/contribs/ng_assembly/common/prod.ma
helm/software/matita/contribs/ng_assembly/common/prod_lemmas.ma
helm/software/matita/contribs/ng_assembly/depends
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct.ma
helm/software/matita/contribs/ng_assembly/emulator/status/HC05_status.ma
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status.ma
helm/software/matita/contribs/ng_assembly/emulator/status/status.ma
helm/software/matita/contribs/ng_assembly/emulator/status/status_getter.ma
helm/software/matita/contribs/ng_assembly/emulator/status/status_setter.ma
helm/software/matita/contribs/ng_assembly/num/byte8.ma
helm/software/matita/contribs/ng_assembly/num/exadecim.ma
helm/software/matita/contribs/ng_assembly/num/word16.ma
helm/software/matita/contribs/ng_assembly/num/word24.ma [new file with mode: 0755]
helm/software/matita/contribs/ng_assembly/num/word32.ma