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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 22 Mar 2008 11:01:57 +0000 (11:01 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 22 Mar 2008 11:01:57 +0000 (11:01 +0000)
commit	661ffd4d7c77fce52fb2f2d96f1737be424af3f1
tree	d71536bfb2658e4f34007f13827cd278dd58aa40	tree \| snapshot
parent	c78a913e4e45c1128b59ca8be9d53fc0c36fc9e0	commit \| diff

freescale moved under contribs. contribs made relocatable
since all internal Makefile include a Makefile.defs defining
where to find matita*
tests should not be affected since the output of the compilation is
the same and the URIs are the same

79 files changed:

helm/software/matita/contribs/LAMBDA-TYPES/Makefile		diff \| blob \| history
helm/software/matita/contribs/LOGIC/Makefile		diff \| blob \| history
helm/software/matita/contribs/Makefile		diff \| blob \| history
helm/software/matita/contribs/Makefile.defs	[new file with mode: 0644]	blob
helm/software/matita/contribs/RELATIONAL/Makefile		diff \| blob \| history
helm/software/matita/contribs/assembly/Makefile	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/depends	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/aux_bases.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/byte8.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/doc/aurei.txt	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/doc/daa.txt	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/doc/freescale.txt	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/doc/ordinamento.txt	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/doc/ordine_compilazione.txt	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/doc/reverse.txt	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/exadecim.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/extra.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/load_write.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/medium_tests.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/medium_tests_lemmas.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/medium_tests_tools.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/memory_abs.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/memory_bits.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/memory_func.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/memory_struct.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/memory_trees.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/micro_tests.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/model.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/multivm.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/opcode.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/status.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/table_HC05.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/table_HC05_tests.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/table_HC08.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/table_HC08_tests.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/table_HCS08.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/table_HCS08_tests.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/table_RS08.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/table_RS08_tests.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/tests.old	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/translation.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/freescale/word16.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/assembly/root	[new file with mode: 0644]	blob
helm/software/matita/library/depends		diff \| blob \| history
helm/software/matita/library/freescale/aux_bases.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/byte8.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/doc/aurei.txt	[deleted file]	blob \| history
helm/software/matita/library/freescale/doc/daa.txt	[deleted file]	blob \| history
helm/software/matita/library/freescale/doc/freescale.txt	[deleted file]	blob \| history
helm/software/matita/library/freescale/doc/ordinamento.txt	[deleted file]	blob \| history
helm/software/matita/library/freescale/doc/ordine_compilazione.txt	[deleted file]	blob \| history
helm/software/matita/library/freescale/doc/reverse.txt	[deleted file]	blob \| history
helm/software/matita/library/freescale/exadecim.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/extra.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/load_write.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/medium_tests.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/medium_tests_lemmas.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/medium_tests_tools.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/memory_abs.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/memory_bits.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/memory_func.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/memory_struct.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/memory_trees.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/micro_tests.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/model.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/multivm.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/opcode.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/status.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/table_HC05.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/table_HC05_tests.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/table_HC08.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/table_HC08_tests.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/table_HCS08.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/table_HCS08_tests.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/table_RS08.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/table_RS08_tests.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/tests.old	[deleted file]	blob \| history
helm/software/matita/library/freescale/translation.ma	[deleted file]	blob \| history
helm/software/matita/library/freescale/word16.ma	[deleted file]	blob \| history

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

RSS Atom