matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Cosimo Oliboni <??>
	Sat, 30 Jan 2010 08:49:34 +0000 (08:49 +0000)
committer	Cosimo Oliboni <??>
	Sat, 30 Jan 2010 08:49:34 +0000 (08:49 +0000)
commit	eb4144a401147a44a9620169eb6dafeb8f5a2c17
tree	4e0cfccb8ad3172a46ac90d85d52e03c06cea8de	tree \| snapshot
parent	a79bf6edc13daaea8135ca71fdc92e02e229f030	commit \| diff

freescale porting

46 files changed:

helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_func.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_instr_mode_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/Freescale_pseudo_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_instr_mode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_instr_mode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_opcode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_opcode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_table_tests.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_instr_mode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_instr_mode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_opcode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_opcode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_table_tests.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_opcode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_opcode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table_tests.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_instr_mode.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_opcode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_opcode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_pseudo_lemmas.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table_tests.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_instr_mode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_instr_mode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_opcode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_opcode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table_tests.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/opcode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/opcode_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/pseudo.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/pseudo_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/read_write/RS08_read_write.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/status.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/translation/translation_base.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word32.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom