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

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

projects / helm.git / commit

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

author	Cosimo Oliboni <??>
	Thu, 3 Sep 2009 06:59:00 +0000 (06:59 +0000)
committer	Cosimo Oliboni <??>
	Thu, 3 Sep 2009 06:59:00 +0000 (06:59 +0000)
commit	a62de71cf6821c955bd41fa691c52ea62173f25d
tree	8556a9c0d25c66381251008cdee436d904ef03d0	tree \| snapshot
parent	f8a084589f102333934997d844dfd40bdaf6a922	commit \| diff

freescale porting, work in progress

14 files changed:

helm/software/matita/contribs/ng_assembly/common/nat.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/common/nat_lemmas.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/num/byte8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/num/word16.ma		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/universe/ascii.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/universe/bitrigesim.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/universe/exadecim.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/universe/exadecim_lib.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/universe/oct.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/universe/opcode.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/universe/quatern.ma	[deleted file]	blob \| history
helm/software/matita/contribs/ng_assembly/universe/universe.ma		diff \| blob \| history

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