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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 15 Mar 2006 15:51:25 +0000 (15:51 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 15 Mar 2006 15:51:25 +0000 (15:51 +0000)
commit	d4c6f8464dc183326b7f7b4dc6171e69b482a26b
tree	29fceae61c8e599d80c1984047087d7669b17cea	tree \| snapshot
parent	b2788a5ed06fa093c607ea3f5a29058845e1f9c6	commit \| diff

more work for the release

47 files changed:

Makefile		diff \| blob \| history
components/Makefile		diff \| blob \| history
components/Makefile.common		diff \| blob \| history
components/binaries/dump_db/dump.sh	[new file with mode: 0755]	blob
components/binaries/extractor/.depend	[new file with mode: 0644]	blob
components/binaries/extractor/Makefile	[new file with mode: 0644]	blob
components/binaries/extractor/extractor.conf.xml	[new file with mode: 0644]	blob
components/binaries/extractor/extractor.ml	[new file with mode: 0644]	blob
components/binaries/extractor/extractor_manager.ml	[new file with mode: 0644]	blob
components/binaries/table_creator/.depend	[new file with mode: 0644]	blob
components/binaries/table_creator/Makefile	[new file with mode: 0644]	blob
components/binaries/table_creator/sync_db.sh	[new file with mode: 0755]	blob
components/binaries/table_creator/table_creator.ml	[new file with mode: 0644]	blob
components/binaries/utilities/Makefile	[new file with mode: 0644]	blob
components/binaries/utilities/create_environment.ml	[new file with mode: 0644]	blob
components/binaries/utilities/list_uris.ml	[new file with mode: 0644]	blob
components/binaries/utilities/parse_library.ml	[new file with mode: 0644]	blob
components/cic_proof_checking/Makefile		diff \| blob \| history
components/cic_proof_checking/utilities/Makefile	[deleted file]	blob \| history
components/cic_proof_checking/utilities/create_environment.ml	[deleted file]	blob \| history
components/cic_proof_checking/utilities/list_uris.ml	[deleted file]	blob \| history
components/cic_proof_checking/utilities/parse_library.ml	[deleted file]	blob \| history
components/content_pres/Makefile		diff \| blob \| history
components/grafite_parser/Makefile		diff \| blob \| history
components/library/libraryClean.ml		diff \| blob \| history
components/metadata/Makefile		diff \| blob \| history
components/metadata/dump_db/dump.sh	[deleted file]	blob \| history
components/metadata/extractor/.depend	[deleted file]	blob \| history
components/metadata/extractor/Makefile	[deleted file]	blob \| history
components/metadata/extractor/extractor.conf.xml	[deleted file]	blob \| history
components/metadata/extractor/extractor.ml	[deleted file]	blob \| history
components/metadata/extractor/extractor_manager.ml	[deleted file]	blob \| history
components/metadata/table_creator/.depend	[deleted file]	blob \| history
components/metadata/table_creator/Makefile	[deleted file]	blob \| history
components/metadata/table_creator/sync_db.sh	[deleted file]	blob \| history
components/metadata/table_creator/table_creator.ml	[deleted file]	blob \| history
matita/.depend		diff \| blob \| history
matita/Makefile		diff \| blob \| history
matita/help/C/sec_install.xml		diff \| blob \| history
matita/matita.conf.xml.in		diff \| blob \| history
matita/matita.glade		diff \| blob \| history
matita/matitaInit.ml		diff \| blob \| history
matita/matitaMisc.ml		diff \| blob \| history
matita/matitaMisc.mli		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history
matita/matitaclean.ml		diff \| blob \| history
matita/matitamakeLib.ml		diff \| blob \| history

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

RSS Atom