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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 7 Oct 2010 16:24:44 +0000 (16:24 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 7 Oct 2010 16:24:44 +0000 (16:24 +0000)
commit	bfcde2b08d72f1392ed61164c67d199360f0397f
tree	a50946492e2d987c48cb5de07c722182afdb082f	tree \| snapshot
parent	907f919aba0f21b18acff8a8e1c266ab92d10baf	commit \| diff

- cic_exportation, cic_acic, acic_content (only parts related to acic)
metadata, cic_proof_checking and old binaries removed

144 files changed:

matita/components/METAS/meta.helm-cic_acic.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-cic_exportation.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-cic_proof_checking.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-grafite_engine.src		diff \| blob \| history
matita/components/METAS/meta.helm-library.src		diff \| blob \| history
matita/components/METAS/meta.helm-metadata.src	[deleted file]	blob \| history
matita/components/METAS/meta.helm-ng_kernel.src		diff \| blob \| history
matita/components/Makefile		diff \| blob \| history
matita/components/acic_content/.depend		diff \| blob \| history
matita/components/acic_content/.depend.opt		diff \| blob \| history
matita/components/acic_content/Makefile		diff \| blob \| history
matita/components/acic_content/acic2astMatcher.ml	[deleted file]	blob \| history
matita/components/acic_content/acic2astMatcher.mli	[deleted file]	blob \| history
matita/components/acic_content/acic2content.ml	[deleted file]	blob \| history
matita/components/acic_content/acic2content.mli	[deleted file]	blob \| history
matita/components/acic_content/content2cic.ml	[deleted file]	blob \| history
matita/components/acic_content/content2cic.mli	[deleted file]	blob \| history
matita/components/acic_content/termAcicContent.ml		diff \| blob \| history
matita/components/acic_content/termAcicContent.mli		diff \| blob \| history
matita/components/binaries/Makefile		diff \| blob \| history
matita/components/binaries/extractor/.depend	[deleted file]	blob \| history
matita/components/binaries/extractor/.depend.opt	[deleted file]	blob \| history
matita/components/binaries/extractor/Makefile	[deleted file]	blob \| history
matita/components/binaries/extractor/extractor.conf.xml	[deleted file]	blob \| history
matita/components/binaries/extractor/extractor.ml	[deleted file]	blob \| history
matita/components/binaries/extractor/extractor_manager.ml	[deleted file]	blob \| history
matita/components/binaries/table_creator/.depend	[deleted file]	blob \| history
matita/components/binaries/table_creator/.depend.opt	[deleted file]	blob \| history
matita/components/binaries/table_creator/Makefile	[deleted file]	blob \| history
matita/components/binaries/table_creator/sync_db.sh	[deleted file]	blob \| history
matita/components/binaries/table_creator/table_creator.ml	[deleted file]	blob \| history
matita/components/binaries/utilities/.depend	[deleted file]	blob \| history
matita/components/binaries/utilities/.depend.opt	[deleted file]	blob \| history
matita/components/binaries/utilities/Makefile	[deleted file]	blob \| history
matita/components/binaries/utilities/create_environment.ml	[deleted file]	blob \| history
matita/components/binaries/utilities/list_uris.ml	[deleted file]	blob \| history
matita/components/binaries/utilities/parse_library.ml	[deleted file]	blob \| history
matita/components/binaries/utilities/test_library.ml	[deleted file]	blob \| history
matita/components/binaries/utilities/test_xml_parser.ml	[deleted file]	blob \| history
matita/components/cic/.depend		diff \| blob \| history
matita/components/cic/.depend.opt		diff \| blob \| history
matita/components/cic/Makefile		diff \| blob \| history
matita/components/cic/cicPp.ml	[new file with mode: 0644]	blob
matita/components/cic/cicPp.mli	[new file with mode: 0644]	blob
matita/components/cic_acic/.depend	[deleted file]	blob \| history
matita/components/cic_acic/.depend.opt	[deleted file]	blob \| history
matita/components/cic_acic/Makefile	[deleted file]	blob \| history
matita/components/cic_acic/cic2Xml.ml	[deleted file]	blob \| history
matita/components/cic_acic/cic2Xml.mli	[deleted file]	blob \| history
matita/components/cic_acic/cic2acic.ml	[deleted file]	blob \| history
matita/components/cic_acic/cic2acic.mli	[deleted file]	blob \| history
matita/components/cic_acic/doubleTypeInference.ml	[deleted file]	blob \| history
matita/components/cic_acic/doubleTypeInference.mli	[deleted file]	blob \| history
matita/components/cic_acic/eta_fixing.ml	[deleted file]	blob \| history
matita/components/cic_acic/eta_fixing.mli	[deleted file]	blob \| history
matita/components/cic_exportation/.depend	[deleted file]	blob \| history
matita/components/cic_exportation/.depend.opt	[deleted file]	blob \| history
matita/components/cic_exportation/Makefile	[deleted file]	blob \| history
matita/components/cic_exportation/cicExportation.ml	[deleted file]	blob \| history
matita/components/cic_exportation/cicExportation.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/.depend	[deleted file]	blob \| history
matita/components/cic_proof_checking/.depend.opt	[deleted file]	blob \| history
matita/components/cic_proof_checking/Makefile	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicDischarge.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicDischarge.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicEnvironment.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicEnvironment.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicLogger.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicLogger.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicMiniReduction.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicMiniReduction.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicPp.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicPp.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicReduction.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicReduction.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicSubstitution.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicSubstitution.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicTypeChecker.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicTypeChecker.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicUnivUtils.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/cicUnivUtils.mli	[deleted file]	blob \| history
matita/components/cic_proof_checking/doc/inductive.txt	[deleted file]	blob \| history
matita/components/cic_proof_checking/freshNamesGenerator.ml	[deleted file]	blob \| history
matita/components/cic_proof_checking/freshNamesGenerator.mli	[deleted file]	blob \| history
matita/components/content_pres/content2pres.ml		diff \| blob \| history
matita/components/content_pres/content2pres.mli		diff \| blob \| history
matita/components/content_pres/sequent2pres.ml		diff \| blob \| history
matita/components/content_pres/sequent2pres.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteSync.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/lexicon/lexiconSync.ml		diff \| blob \| history
matita/components/library/Makefile		diff \| blob \| history
matita/components/library/cicElim.ml	[deleted file]	blob \| history
matita/components/library/cicElim.mli	[deleted file]	blob \| history
matita/components/library/cicRecord.ml	[deleted file]	blob \| history
matita/components/library/cicRecord.mli	[deleted file]	blob \| history
matita/components/library/coercDb.ml		diff \| blob \| history
matita/components/library/libraryClean.ml		diff \| blob \| history
matita/components/library/libraryDb.ml		diff \| blob \| history
matita/components/library/librarySync.ml		diff \| blob \| history
matita/components/metadata/.depend	[deleted file]	blob \| history
matita/components/metadata/.depend.opt	[deleted file]	blob \| history
matita/components/metadata/Makefile	[deleted file]	blob \| history
matita/components/metadata/metadataConstraints.ml	[deleted file]	blob \| history
matita/components/metadata/metadataConstraints.mli	[deleted file]	blob \| history
matita/components/metadata/metadataDb.ml	[deleted file]	blob \| history
matita/components/metadata/metadataDb.mli	[deleted file]	blob \| history
matita/components/metadata/metadataDeps.ml	[deleted file]	blob \| history
matita/components/metadata/metadataDeps.mli	[deleted file]	blob \| history
matita/components/metadata/metadataExtractor.ml	[deleted file]	blob \| history
matita/components/metadata/metadataExtractor.mli	[deleted file]	blob \| history
matita/components/metadata/metadataPp.ml	[deleted file]	blob \| history
matita/components/metadata/metadataPp.mli	[deleted file]	blob \| history
matita/components/metadata/metadataTypes.ml	[deleted file]	blob \| history
matita/components/metadata/metadataTypes.mli	[deleted file]	blob \| history
matita/components/metadata/sqlStatements.ml	[deleted file]	blob \| history
matita/components/metadata/sqlStatements.mli	[deleted file]	blob \| history
matita/components/ng_cic_content/nTermCicContent.ml		diff \| blob \| history
matita/components/ng_cic_content/nTermCicContent.mli		diff \| blob \| history
matita/components/ng_kernel/nUri.ml		diff \| blob \| history
matita/components/ng_kernel/nUri.mli		diff \| blob \| history
matita/components/ng_library/.depend		diff \| blob \| history
matita/components/ng_library/.depend.opt		diff \| blob \| history
matita/components/ng_library/Makefile		diff \| blob \| history
matita/components/ng_library/check.ml	[deleted file]	blob \| history
matita/components/ng_library/nCic2OCic.ml	[deleted file]	blob \| history
matita/components/ng_library/nCic2OCic.mli	[deleted file]	blob \| history
matita/components/ng_library/nCicLibrary.ml		diff \| blob \| history
matita/components/ng_library/oCic2NCic.ml	[deleted file]	blob \| history
matita/components/ng_library/oCic2NCic.mli	[deleted file]	blob \| history
matita/components/ng_library/rt.ml	[deleted file]	blob \| history
matita/configure.ac		diff \| blob \| history
matita/matita/applyTransformation.ml		diff \| blob \| history
matita/matita/applyTransformation.mli		diff \| blob \| history
matita/matita/matita.ml		diff \| blob \| history
matita/matita/matitaEngine.ml		diff \| blob \| history
matita/matita/matitaExcPp.ml		diff \| blob \| history
matita/matita/matitaGui.ml		diff \| blob \| history
matita/matita/matitaGuiTypes.mli		diff \| blob \| history
matita/matita/matitaInit.ml		diff \| blob \| history
matita/matita/matitaMathView.ml		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitacLib.ml		diff \| blob \| history

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

RSS Atom