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

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

author	Cosimo Oliboni <??>
	Sat, 8 Aug 2009 15:18:05 +0000 (15:18 +0000)
committer	Cosimo Oliboni <??>
	Sat, 8 Aug 2009 15:18:05 +0000 (15:18 +0000)
commit	601baed778a190b580982b588ebe49ba3f762b30
tree	7b566917ae2b6996216abc3387be64e55151f845	tree \| snapshot
parent	94c6cfe7e6b833190904c6b546668d716978a812	commit \| diff

freescale porting, work in progress

21 files changed:

helm/software/matita/contribs/ng_assembly/common/ascii_lemmas1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/meta_type.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_instrmode2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/opcode_base_lemmas_opcode2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/translation.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/translation_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/bool_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word32_lemmas.ma		diff \| blob \| history

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

RSS Atom