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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 4 Mar 2008 15:44:36 +0000 (15:44 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 4 Mar 2008 15:44:36 +0000 (15:44 +0000)
commit	09e3a050664b07c961a92bf16245a7345346f964
tree	b343d200b8eb898e57d4fe1bc90ebbac7f8f7833	tree \| snapshot
parent	e44ebf8a8c659b408fa765d30faf1b8c8ff2adb0	commit \| diff

A) New version.
B) set "baseuri" removed
C) minor clean-up

24 files changed:

helm/software/matita/library/freescale/aux_bases.ma		diff \| blob \| history
helm/software/matita/library/freescale/byte8.ma		diff \| blob \| history
helm/software/matita/library/freescale/exadecim.ma		diff \| blob \| history
helm/software/matita/library/freescale/extra.ma		diff \| blob \| history
helm/software/matita/library/freescale/load_write.ma		diff \| blob \| history
helm/software/matita/library/freescale/medium_tests.ma		diff \| blob \| history
helm/software/matita/library/freescale/medium_tests_lemmas.ma	[new file with mode: 0644]	blob
helm/software/matita/library/freescale/medium_tests_tools.ma		diff \| blob \| history
helm/software/matita/library/freescale/memory_abs.ma		diff \| blob \| history
helm/software/matita/library/freescale/memory_bits.ma		diff \| blob \| history
helm/software/matita/library/freescale/memory_func.ma		diff \| blob \| history
helm/software/matita/library/freescale/memory_struct.ma		diff \| blob \| history
helm/software/matita/library/freescale/memory_trees.ma		diff \| blob \| history
helm/software/matita/library/freescale/micro_tests.ma		diff \| blob \| history
helm/software/matita/library/freescale/model.ma		diff \| blob \| history
helm/software/matita/library/freescale/multivm.ma		diff \| blob \| history
helm/software/matita/library/freescale/opcode.ma		diff \| blob \| history
helm/software/matita/library/freescale/status.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HC05.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HC08.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_HCS08.ma		diff \| blob \| history
helm/software/matita/library/freescale/table_RS08.ma		diff \| blob \| history
helm/software/matita/library/freescale/translation.ma		diff \| blob \| history
helm/software/matita/library/freescale/word16.ma		diff \| blob \| history

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

RSS Atom