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

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

author	Cosimo Oliboni <??>
	Thu, 28 Jan 2010 00:42:24 +0000 (00:42 +0000)
committer	Cosimo Oliboni <??>
	Thu, 28 Jan 2010 00:42:24 +0000 (00:42 +0000)
commit	7f89b4dce54266c281479a14c01edc4bd33993d1
tree	f6bbe54b080ca1fb874da50fe0df3d447305021d	tree \| snapshot
parent	a581a54f6118908a21ed3f960c70a0a2c863ca89	commit \| diff

freescale porting

26 files changed:

helm/software/matita/contribs/ng_assembly/common/ascii_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/memory/memory_struct_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_instr_mode_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC05_opcode_lemmas.ma	[new file with mode: 0755]	blob
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_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/HC08_opcode_lemmas.ma	[new file with mode: 0755]	blob
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_lemmas.ma	[new file with mode: 0755]	blob
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_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_opcode_lemmas.ma	[new file with mode: 0755]	blob
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_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_opcode_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table_tests.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/opcodes/opcode_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/status/HC05_status_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/status/status.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word24_lemmas.ma	[new file with mode: 0755]	blob

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

RSS Atom