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

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

author	Cosimo Oliboni <??>
	Fri, 31 Jul 2009 23:06:23 +0000 (23:06 +0000)
committer	Cosimo Oliboni <??>
	Fri, 31 Jul 2009 23:06:23 +0000 (23:06 +0000)
commit	dcde2b362a4106e36623d25e6a2d26dffac61848
tree	41c2b896dbef8a01e354e42bc77cb73655582824	tree \| snapshot
parent	6678a28314d8878bb46d5de7b1060628f4930242	commit \| diff

freescale porting, work in progress

29 files changed:

helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/depends		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/aux_bases.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/freescale/aux_bases_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/freescale/bitrigesim.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/freescale/bitrigesim_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/freescale/bool_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/byte8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/exadecim.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/exadecim_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/memory_struct.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/multivm.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/nat.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/freescale/nat_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/freescale/oct.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/freescale/oct_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/freescale/opcode_base.ma		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_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/quatern.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/freescale/quatern_lemmas.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/freescale/theory.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/word16.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/freescale/word32.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/utility/string.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/utility/string_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/utility/utility.ma		diff \| blob \| history

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

RSS Atom