matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/ng_assembly/num/exadecim.ma

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/ng_assembly/num/exadecim.ma

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 34cdd4a) | patch

author	Cosimo Oliboni <??>
	Mon, 25 Jan 2010 06:56:56 +0000 (06:56 +0000)
committer	Cosimo Oliboni <??>
	Mon, 25 Jan 2010 06:56:56 +0000 (06:56 +0000)
commit	b886a562ccbfc3f63b8f64a135bcf70e4b189999
tree	ee473920ade26a6bb0aa133dbd0b3a5b923dd7af	tree \| snapshot
parent	34cdd4af2d7bdac3bab74a54123fbfcb02fa0403	commit \| diff

freescale porting

18 files changed:

helm/software/matita/contribs/ng_assembly/common/option.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/prod.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/prod_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.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/HC05_status.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/emulator/status/RS08_status.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_getter.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/emulator/status/status_setter.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/byte8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/exadecim.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word24.ma	[new file with mode: 0755]	blob
helm/software/matita/contribs/ng_assembly/num/word32.ma		diff \| blob \| history

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