]> matita.cs.unibo.it Git - helm.git/commit
- renamed ocaml/ to components/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:32:38 +0000 (15:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:32:38 +0000 (15:32 +0000)
commit7f2444c2670cadafddd8785b687ef312158376b0
tree8dffed84a69db239c0f986ded89cf0d372ade4bf
parentd17988855a2e85dc2db641d11ce481c266038ef3
- renamed ocaml/ to components/
- moved components/ and matita/ below software/
661 files changed:
components/METAS/meta.helm-acic_content.src [new file with mode: 0644]
components/METAS/meta.helm-cic.src [new file with mode: 0644]
components/METAS/meta.helm-cic_acic.src [new file with mode: 0644]
components/METAS/meta.helm-cic_disambiguation.src [new file with mode: 0644]
components/METAS/meta.helm-cic_proof_checking.src [new file with mode: 0644]
components/METAS/meta.helm-cic_unification.src [new file with mode: 0644]
components/METAS/meta.helm-content_pres.src [new file with mode: 0644]
components/METAS/meta.helm-extlib.src [new file with mode: 0644]
components/METAS/meta.helm-getter.src [new file with mode: 0644]
components/METAS/meta.helm-grafite.src [new file with mode: 0644]
components/METAS/meta.helm-grafite_engine.src [new file with mode: 0644]
components/METAS/meta.helm-grafite_parser.src [new file with mode: 0644]
components/METAS/meta.helm-hgdome.src [new file with mode: 0644]
components/METAS/meta.helm-hmysql.src [new file with mode: 0644]
components/METAS/meta.helm-lexicon.src [new file with mode: 0644]
components/METAS/meta.helm-library.src [new file with mode: 0644]
components/METAS/meta.helm-logger.src [new file with mode: 0644]
components/METAS/meta.helm-metadata.src [new file with mode: 0644]
components/METAS/meta.helm-registry.src [new file with mode: 0644]
components/METAS/meta.helm-tactics.src [new file with mode: 0644]
components/METAS/meta.helm-thread.src [new file with mode: 0644]
components/METAS/meta.helm-urimanager.src [new file with mode: 0644]
components/METAS/meta.helm-utf8_macros.src [new file with mode: 0644]
components/METAS/meta.helm-whelp.src [new file with mode: 0644]
components/METAS/meta.helm-xml.src [new file with mode: 0644]
components/METAS/meta.helm-xmldiff.src [new file with mode: 0644]
components/Makefile [new file with mode: 0644]
components/Makefile.common [new file with mode: 0644]
components/STATS/clusters.dot [new file with mode: 0644]
components/STATS/daemons.dot [new file with mode: 0644]
components/STATS/deps.patch [new file with mode: 0644]
components/STATS/patch_deps.sh [new file with mode: 0755]
components/acic_content/.depend [new file with mode: 0644]
components/acic_content/Makefile [new file with mode: 0644]
components/acic_content/acic2astMatcher.ml [new file with mode: 0644]
components/acic_content/acic2astMatcher.mli [new file with mode: 0644]
components/acic_content/acic2content.ml [new file with mode: 0644]
components/acic_content/acic2content.mli [new file with mode: 0644]
components/acic_content/cicNotationEnv.ml [new file with mode: 0644]
components/acic_content/cicNotationEnv.mli [new file with mode: 0644]
components/acic_content/cicNotationPp.ml [new file with mode: 0644]
components/acic_content/cicNotationPp.mli [new file with mode: 0644]
components/acic_content/cicNotationPt.ml [new file with mode: 0644]
components/acic_content/cicNotationUtil.ml [new file with mode: 0644]
components/acic_content/cicNotationUtil.mli [new file with mode: 0644]
components/acic_content/content.ml [new file with mode: 0644]
components/acic_content/content.mli [new file with mode: 0644]
components/acic_content/content2cic.ml [new file with mode: 0644]
components/acic_content/content2cic.mli [new file with mode: 0644]
components/acic_content/contentPp.ml [new file with mode: 0644]
components/acic_content/contentPp.mli [new file with mode: 0644]
components/acic_content/termAcicContent.ml [new file with mode: 0644]
components/acic_content/termAcicContent.mli [new file with mode: 0644]
components/cic/.depend [new file with mode: 0644]
components/cic/Makefile [new file with mode: 0644]
components/cic/cic.ml [new file with mode: 0644]
components/cic/cicParser.ml [new file with mode: 0644]
components/cic/cicParser.mli [new file with mode: 0644]
components/cic/cicUniv.ml [new file with mode: 0644]
components/cic/cicUniv.mli [new file with mode: 0644]
components/cic/cicUtil.ml [new file with mode: 0644]
components/cic/cicUtil.mli [new file with mode: 0644]
components/cic/deannotate.ml [new file with mode: 0644]
components/cic/deannotate.mli [new file with mode: 0644]
components/cic/discrimination_tree.ml [new file with mode: 0644]
components/cic/discrimination_tree.mli [new file with mode: 0644]
components/cic/helmLibraryObjects.ml [new file with mode: 0644]
components/cic/helmLibraryObjects.mli [new file with mode: 0644]
components/cic/libraryObjects.ml [new file with mode: 0644]
components/cic/libraryObjects.mli [new file with mode: 0644]
components/cic/path_indexing.ml [new file with mode: 0644]
components/cic/path_indexing.mli [new file with mode: 0644]
components/cic/test.ml [new file with mode: 0644]
components/cic/unshare.ml [new file with mode: 0644]
components/cic/unshare.mli [new file with mode: 0644]
components/cic_acic/.depend [new file with mode: 0644]
components/cic_acic/Makefile [new file with mode: 0644]
components/cic_acic/cic2Xml.ml [new file with mode: 0644]
components/cic_acic/cic2Xml.mli [new file with mode: 0644]
components/cic_acic/cic2acic.ml [new file with mode: 0644]
components/cic_acic/cic2acic.mli [new file with mode: 0644]
components/cic_acic/doubleTypeInference.ml [new file with mode: 0644]
components/cic_acic/doubleTypeInference.mli [new file with mode: 0644]
components/cic_acic/eta_fixing.ml [new file with mode: 0644]
components/cic_acic/eta_fixing.mli [new file with mode: 0644]
components/cic_disambiguation/.depend [new file with mode: 0644]
components/cic_disambiguation/Makefile [new file with mode: 0644]
components/cic_disambiguation/disambiguate.ml [new file with mode: 0644]
components/cic_disambiguation/disambiguate.mli [new file with mode: 0644]
components/cic_disambiguation/disambiguateChoices.ml [new file with mode: 0644]
components/cic_disambiguation/disambiguateChoices.mli [new file with mode: 0644]
components/cic_disambiguation/disambiguateTypes.ml [new file with mode: 0644]
components/cic_disambiguation/disambiguateTypes.mli [new file with mode: 0644]
components/cic_disambiguation/doc/precedence.txt [new file with mode: 0644]
components/cic_disambiguation/number_notation.ml [new file with mode: 0644]
components/cic_disambiguation/tests/aliases.txt [new file with mode: 0644]
components/cic_disambiguation/tests/eq.txt [new file with mode: 0644]
components/cic_disambiguation/tests/match.txt [new file with mode: 0644]
components/cic_proof_checking/.depend [new file with mode: 0644]
components/cic_proof_checking/Makefile [new file with mode: 0644]
components/cic_proof_checking/cicEnvironment.ml [new file with mode: 0644]
components/cic_proof_checking/cicEnvironment.mli [new file with mode: 0644]
components/cic_proof_checking/cicLogger.ml [new file with mode: 0644]
components/cic_proof_checking/cicLogger.mli [new file with mode: 0644]
components/cic_proof_checking/cicMiniReduction.ml [new file with mode: 0644]
components/cic_proof_checking/cicMiniReduction.mli [new file with mode: 0644]
components/cic_proof_checking/cicPp.ml [new file with mode: 0644]
components/cic_proof_checking/cicPp.mli [new file with mode: 0644]
components/cic_proof_checking/cicReduction.ml [new file with mode: 0644]
components/cic_proof_checking/cicReduction.mli [new file with mode: 0644]
components/cic_proof_checking/cicSubstitution.ml [new file with mode: 0644]
components/cic_proof_checking/cicSubstitution.mli [new file with mode: 0644]
components/cic_proof_checking/cicTypeChecker.ml [new file with mode: 0644]
components/cic_proof_checking/cicTypeChecker.mli [new file with mode: 0644]
components/cic_proof_checking/cicUnivUtils.ml [new file with mode: 0644]
components/cic_proof_checking/cicUnivUtils.mli [new file with mode: 0644]
components/cic_proof_checking/doc/inductive.txt [new file with mode: 0644]
components/cic_proof_checking/freshNamesGenerator.ml [new file with mode: 0755]
components/cic_proof_checking/freshNamesGenerator.mli [new file with mode: 0644]
components/cic_proof_checking/utilities/Makefile [new file with mode: 0644]
components/cic_proof_checking/utilities/create_environment.ml [new file with mode: 0644]
components/cic_proof_checking/utilities/list_uris.ml [new file with mode: 0644]
components/cic_proof_checking/utilities/parse_library.ml [new file with mode: 0644]
components/cic_unification/.depend [new file with mode: 0644]
components/cic_unification/Makefile [new file with mode: 0644]
components/cic_unification/cicMetaSubst.ml [new file with mode: 0644]
components/cic_unification/cicMetaSubst.mli [new file with mode: 0644]
components/cic_unification/cicMkImplicit.ml [new file with mode: 0644]
components/cic_unification/cicMkImplicit.mli [new file with mode: 0644]
components/cic_unification/cicRefine.ml [new file with mode: 0644]
components/cic_unification/cicRefine.mli [new file with mode: 0644]
components/cic_unification/cicUnification.ml [new file with mode: 0644]
components/cic_unification/cicUnification.mli [new file with mode: 0644]
components/content_pres/.depend [new file with mode: 0644]
components/content_pres/Makefile [new file with mode: 0644]
components/content_pres/box.ml [new file with mode: 0644]
components/content_pres/box.mli [new file with mode: 0644]
components/content_pres/boxPp.ml [new file with mode: 0644]
components/content_pres/boxPp.mli [new file with mode: 0644]
components/content_pres/cicNotationLexer.ml [new file with mode: 0644]
components/content_pres/cicNotationLexer.mli [new file with mode: 0644]
components/content_pres/cicNotationParser.ml [new file with mode: 0644]
components/content_pres/cicNotationParser.mli [new file with mode: 0644]
components/content_pres/cicNotationPres.ml [new file with mode: 0644]
components/content_pres/cicNotationPres.mli [new file with mode: 0644]
components/content_pres/content2pres.ml [new file with mode: 0644]
components/content_pres/content2pres.mli [new file with mode: 0644]
components/content_pres/content2presMatcher.ml [new file with mode: 0644]
components/content_pres/content2presMatcher.mli [new file with mode: 0644]
components/content_pres/mpresentation.ml [new file with mode: 0644]
components/content_pres/mpresentation.mli [new file with mode: 0644]
components/content_pres/renderingAttrs.ml [new file with mode: 0644]
components/content_pres/renderingAttrs.mli [new file with mode: 0644]
components/content_pres/sequent2pres.ml [new file with mode: 0644]
components/content_pres/sequent2pres.mli [new file with mode: 0644]
components/content_pres/termContentPres.ml [new file with mode: 0644]
components/content_pres/termContentPres.mli [new file with mode: 0644]
components/content_pres/test_lexer.ml [new file with mode: 0644]
components/extlib/.depend [new file with mode: 0644]
components/extlib/Makefile [new file with mode: 0644]
components/extlib/componentsConf.ml.in [new file with mode: 0644]
components/extlib/componentsConf.mli [new file with mode: 0644]
components/extlib/hExtlib.ml [new file with mode: 0644]
components/extlib/hExtlib.mli [new file with mode: 0644]
components/extlib/hLog.ml [new file with mode: 0644]
components/extlib/hLog.mli [new file with mode: 0644]
components/extlib/hMarshal.ml [new file with mode: 0644]
components/extlib/hMarshal.mli [new file with mode: 0644]
components/extlib/patternMatcher.ml [new file with mode: 0644]
components/extlib/patternMatcher.mli [new file with mode: 0644]
components/extlib/trie.ml [new file with mode: 0644]
components/extlib/trie.mli [new file with mode: 0644]
components/getter/.depend [new file with mode: 0644]
components/getter/.ocamlinit [new file with mode: 0644]
components/getter/Makefile [new file with mode: 0644]
components/getter/http_getter.ml [new file with mode: 0644]
components/getter/http_getter.mli [new file with mode: 0644]
components/getter/http_getter_common.ml [new file with mode: 0644]
components/getter/http_getter_common.mli [new file with mode: 0644]
components/getter/http_getter_const.ml [new file with mode: 0644]
components/getter/http_getter_const.mli [new file with mode: 0644]
components/getter/http_getter_env.ml [new file with mode: 0644]
components/getter/http_getter_env.mli [new file with mode: 0644]
components/getter/http_getter_logger.ml [new file with mode: 0644]
components/getter/http_getter_logger.mli [new file with mode: 0644]
components/getter/http_getter_misc.ml [new file with mode: 0644]
components/getter/http_getter_misc.mli [new file with mode: 0644]
components/getter/http_getter_storage.ml [new file with mode: 0644]
components/getter/http_getter_storage.mli [new file with mode: 0644]
components/getter/http_getter_types.ml [new file with mode: 0644]
components/getter/http_getter_wget.ml [new file with mode: 0644]
components/getter/http_getter_wget.mli [new file with mode: 0644]
components/getter/mkindexes.pl [new file with mode: 0755]
components/getter/sample.conf.xml [new file with mode: 0644]
components/getter/test.ml [new file with mode: 0644]
components/grafite/.depend [new file with mode: 0644]
components/grafite/Makefile [new file with mode: 0644]
components/grafite/grafiteAst.ml [new file with mode: 0644]
components/grafite/grafiteAstPp.ml [new file with mode: 0644]
components/grafite/grafiteAstPp.mli [new file with mode: 0644]
components/grafite/grafiteMarshal.ml [new file with mode: 0644]
components/grafite/grafiteMarshal.mli [new file with mode: 0644]
components/grafite_engine/.depend [new file with mode: 0644]
components/grafite_engine/Makefile [new file with mode: 0644]
components/grafite_engine/grafiteEngine.ml [new file with mode: 0644]
components/grafite_engine/grafiteEngine.mli [new file with mode: 0644]
components/grafite_engine/grafiteMisc.ml [new file with mode: 0644]
components/grafite_engine/grafiteMisc.mli [new file with mode: 0644]
components/grafite_engine/grafiteSync.ml [new file with mode: 0644]
components/grafite_engine/grafiteSync.mli [new file with mode: 0644]
components/grafite_engine/grafiteTypes.ml [new file with mode: 0644]
components/grafite_engine/grafiteTypes.mli [new file with mode: 0644]
components/grafite_parser/.depend [new file with mode: 0644]
components/grafite_parser/Makefile [new file with mode: 0644]
components/grafite_parser/cicNotation2.ml [new file with mode: 0644]
components/grafite_parser/cicNotation2.mli [new file with mode: 0644]
components/grafite_parser/dependenciesParser.ml [new file with mode: 0644]
components/grafite_parser/dependenciesParser.mli [new file with mode: 0644]
components/grafite_parser/grafiteDisambiguate.ml [new file with mode: 0644]
components/grafite_parser/grafiteDisambiguate.mli [new file with mode: 0644]
components/grafite_parser/grafiteDisambiguator.ml [new file with mode: 0644]
components/grafite_parser/grafiteDisambiguator.mli [new file with mode: 0644]
components/grafite_parser/grafiteParser.ml [new file with mode: 0644]
components/grafite_parser/grafiteParser.mli [new file with mode: 0644]
components/grafite_parser/print_grammar.ml [new file with mode: 0644]
components/grafite_parser/test_dep.ml [new file with mode: 0644]
components/grafite_parser/test_parser.ml [new file with mode: 0644]
components/hbugs/.depend [new file with mode: 0644]
components/hbugs/Makefile [new file with mode: 0644]
components/hbugs/broker.ml [new file with mode: 0644]
components/hbugs/client.ml [new file with mode: 0644]
components/hbugs/data/hbugs_tutor.TPL.ml [new file with mode: 0644]
components/hbugs/data/tutors_index.xml [new file with mode: 0644]
components/hbugs/doc/hbugs.dia [new file with mode: 0644]
components/hbugs/hbugs_broker_registry.ml [new file with mode: 0644]
components/hbugs/hbugs_broker_registry.mli [new file with mode: 0644]
components/hbugs/hbugs_client.ml [new file with mode: 0644]
components/hbugs/hbugs_client.mli [new file with mode: 0644]
components/hbugs/hbugs_client_gui.glade [new file with mode: 0644]
components/hbugs/hbugs_common.ml [new file with mode: 0644]
components/hbugs/hbugs_common.mli [new file with mode: 0644]
components/hbugs/hbugs_id_generator.ml [new file with mode: 0644]
components/hbugs/hbugs_id_generator.mli [new file with mode: 0644]
components/hbugs/hbugs_messages.ml [new file with mode: 0644]
components/hbugs/hbugs_messages.mli [new file with mode: 0644]
components/hbugs/hbugs_misc.ml [new file with mode: 0644]
components/hbugs/hbugs_misc.mli [new file with mode: 0644]
components/hbugs/hbugs_tutors.ml [new file with mode: 0644]
components/hbugs/hbugs_tutors.mli [new file with mode: 0644]
components/hbugs/hbugs_types.mli [new file with mode: 0644]
components/hbugs/scripts/brokerctl.sh [new file with mode: 0755]
components/hbugs/scripts/build_tutors.ml [new file with mode: 0755]
components/hbugs/scripts/ls_tutors.ml [new file with mode: 0755]
components/hbugs/scripts/sabba.sh [new file with mode: 0755]
components/hbugs/search_pattern_apply_tutor.ml [new file with mode: 0644]
components/hbugs/test/HBUGS_MESSAGES.xml [new file with mode: 0644]
components/hbugs/test/Makefile [new file with mode: 0644]
components/hbugs/test/test_serialization.ml [new file with mode: 0644]
components/hgdome/.depend [new file with mode: 0644]
components/hgdome/Makefile [new file with mode: 0644]
components/hgdome/domMisc.ml [new file with mode: 0644]
components/hgdome/domMisc.mli [new file with mode: 0644]
components/hgdome/xml2Gdome.ml [new file with mode: 0644]
components/hgdome/xml2Gdome.mli [new file with mode: 0644]
components/hmysql/.depend [new file with mode: 0644]
components/hmysql/Makefile [new file with mode: 0644]
components/hmysql/hMysql.ml [new file with mode: 0644]
components/hmysql/hMysql.mli [new file with mode: 0644]
components/lexicon/.depend [new file with mode: 0644]
components/lexicon/Makefile [new file with mode: 0644]
components/lexicon/cicNotation.ml [new file with mode: 0644]
components/lexicon/cicNotation.mli [new file with mode: 0644]
components/lexicon/disambiguatePp.ml [new file with mode: 0644]
components/lexicon/disambiguatePp.mli [new file with mode: 0644]
components/lexicon/lexiconAst.ml [new file with mode: 0644]
components/lexicon/lexiconAstPp.ml [new file with mode: 0644]
components/lexicon/lexiconAstPp.mli [new file with mode: 0644]
components/lexicon/lexiconEngine.ml [new file with mode: 0644]
components/lexicon/lexiconEngine.mli [new file with mode: 0644]
components/lexicon/lexiconMarshal.ml [new file with mode: 0644]
components/lexicon/lexiconMarshal.mli [new file with mode: 0644]
components/lexicon/lexiconSync.ml [new file with mode: 0644]
components/lexicon/lexiconSync.mli [new file with mode: 0644]
components/library/.depend [new file with mode: 0644]
components/library/Makefile [new file with mode: 0644]
components/library/cicCoercion.ml [new file with mode: 0644]
components/library/cicCoercion.mli [new file with mode: 0644]
components/library/cicElim.ml [new file with mode: 0644]
components/library/cicElim.mli [new file with mode: 0644]
components/library/cicRecord.ml [new file with mode: 0644]
components/library/cicRecord.mli [new file with mode: 0644]
components/library/coercDb.ml [new file with mode: 0644]
components/library/coercDb.mli [new file with mode: 0644]
components/library/coercGraph.ml [new file with mode: 0644]
components/library/coercGraph.mli [new file with mode: 0644]
components/library/libraryClean.ml [new file with mode: 0644]
components/library/libraryClean.mli [new file with mode: 0644]
components/library/libraryDb.ml [new file with mode: 0644]
components/library/libraryDb.mli [new file with mode: 0644]
components/library/libraryMisc.ml [new file with mode: 0644]
components/library/libraryMisc.mli [new file with mode: 0644]
components/library/libraryNoDb.ml [new file with mode: 0644]
components/library/libraryNoDb.mli [new file with mode: 0644]
components/library/librarySync.ml [new file with mode: 0644]
components/library/librarySync.mli [new file with mode: 0644]
components/license [new file with mode: 0644]
components/logger/.depend [new file with mode: 0644]
components/logger/Makefile [new file with mode: 0644]
components/logger/helmLogger.ml [new file with mode: 0644]
components/logger/helmLogger.mli [new file with mode: 0644]
components/metadata/.depend [new file with mode: 0644]
components/metadata/Makefile [new file with mode: 0644]
components/metadata/dump_db/dump.sh [new file with mode: 0755]
components/metadata/extractor/.depend [new file with mode: 0644]
components/metadata/extractor/Makefile [new file with mode: 0644]
components/metadata/extractor/extractor.conf.xml [new file with mode: 0644]
components/metadata/extractor/extractor.ml [new file with mode: 0644]
components/metadata/extractor/extractor_manager.ml [new file with mode: 0644]
components/metadata/metadataConstraints.ml [new file with mode: 0644]
components/metadata/metadataConstraints.mli [new file with mode: 0644]
components/metadata/metadataDb.ml [new file with mode: 0644]
components/metadata/metadataDb.mli [new file with mode: 0644]
components/metadata/metadataExtractor.ml [new file with mode: 0644]
components/metadata/metadataExtractor.mli [new file with mode: 0644]
components/metadata/metadataPp.ml [new file with mode: 0644]
components/metadata/metadataPp.mli [new file with mode: 0644]
components/metadata/metadataTypes.ml [new file with mode: 0644]
components/metadata/metadataTypes.mli [new file with mode: 0644]
components/metadata/sqlStatements.ml [new file with mode: 0644]
components/metadata/sqlStatements.mli [new file with mode: 0644]
components/metadata/table_creator/.depend [new file with mode: 0644]
components/metadata/table_creator/Makefile [new file with mode: 0644]
components/metadata/table_creator/sync_db.sh [new file with mode: 0755]
components/metadata/table_creator/table_creator.ml [new file with mode: 0644]
components/registry/.depend [new file with mode: 0644]
components/registry/.ocamlinit [new file with mode: 0644]
components/registry/Makefile [new file with mode: 0644]
components/registry/helm_registry.ml [new file with mode: 0644]
components/registry/helm_registry.mli [new file with mode: 0644]
components/registry/test.ml [new file with mode: 0644]
components/registry/tests/sample.xml [new file with mode: 0644]
components/registry/tests/sample_include.xml [new file with mode: 0644]
components/tactics/.depend [new file with mode: 0644]
components/tactics/Makefile [new file with mode: 0644]
components/tactics/autoTactic.ml [new file with mode: 0644]
components/tactics/autoTactic.mli [new file with mode: 0644]
components/tactics/continuationals.ml [new file with mode: 0644]
components/tactics/continuationals.mli [new file with mode: 0644]
components/tactics/discriminationTactics.ml [new file with mode: 0644]
components/tactics/discriminationTactics.mli [new file with mode: 0644]
components/tactics/doc/Makefile [new file with mode: 0644]
components/tactics/doc/body.tex [new file with mode: 0644]
components/tactics/doc/infernce.sty [new file with mode: 0644]
components/tactics/doc/ligature.sty [new file with mode: 0644]
components/tactics/doc/main.tex [new file with mode: 0644]
components/tactics/doc/reserved.sty [new file with mode: 0644]
components/tactics/doc/semantic.sty [new file with mode: 0644]
components/tactics/doc/shrthand.sty [new file with mode: 0644]
components/tactics/doc/tdiagram.sty [new file with mode: 0644]
components/tactics/eliminationTactics.ml [new file with mode: 0644]
components/tactics/eliminationTactics.mli [new file with mode: 0644]
components/tactics/equalityTactics.ml [new file with mode: 0644]
components/tactics/equalityTactics.mli [new file with mode: 0644]
components/tactics/fourier.ml [new file with mode: 0644]
components/tactics/fourier.mli [new file with mode: 0644]
components/tactics/fourierR.ml [new file with mode: 0644]
components/tactics/fourierR.mli [new file with mode: 0644]
components/tactics/fwdSimplTactic.ml [new file with mode: 0644]
components/tactics/fwdSimplTactic.mli [new file with mode: 0644]
components/tactics/hashtbl_equiv.ml [new file with mode: 0644]
components/tactics/hashtbl_equiv.mli [new file with mode: 0644]
components/tactics/history.ml [new file with mode: 0644]
components/tactics/history.mli [new file with mode: 0644]
components/tactics/introductionTactics.ml [new file with mode: 0644]
components/tactics/introductionTactics.mli [new file with mode: 0644]
components/tactics/inversion.ml [new file with mode: 0644]
components/tactics/inversion.mli [new file with mode: 0644]
components/tactics/metadataQuery.ml [new file with mode: 0644]
components/tactics/metadataQuery.mli [new file with mode: 0644]
components/tactics/negationTactics.ml [new file with mode: 0644]
components/tactics/negationTactics.mli [new file with mode: 0644]
components/tactics/paramodulation/.depend [new file with mode: 0644]
components/tactics/paramodulation/Makefile [new file with mode: 0644]
components/tactics/paramodulation/README [new file with mode: 0644]
components/tactics/paramodulation/equality_indexing.ml [new file with mode: 0644]
components/tactics/paramodulation/equality_indexing.mli [new file with mode: 0644]
components/tactics/paramodulation/indexing.ml [new file with mode: 0644]
components/tactics/paramodulation/indexing.mli [new file with mode: 0644]
components/tactics/paramodulation/inference.ml [new file with mode: 0644]
components/tactics/paramodulation/inference.mli [new file with mode: 0644]
components/tactics/paramodulation/saturate_main.ml [new file with mode: 0644]
components/tactics/paramodulation/saturation.ml [new file with mode: 0644]
components/tactics/paramodulation/saturation.mli [new file with mode: 0644]
components/tactics/paramodulation/test_indexing.ml [new file with mode: 0644]
components/tactics/paramodulation/utils.ml [new file with mode: 0644]
components/tactics/paramodulation/utils.mli [new file with mode: 0644]
components/tactics/primitiveTactics.ml [new file with mode: 0644]
components/tactics/primitiveTactics.mli [new file with mode: 0644]
components/tactics/proofEngineHelpers.ml [new file with mode: 0644]
components/tactics/proofEngineHelpers.mli [new file with mode: 0644]
components/tactics/proofEngineReduction.ml [new file with mode: 0644]
components/tactics/proofEngineReduction.mli [new file with mode: 0644]
components/tactics/proofEngineStructuralRules.ml [new file with mode: 0644]
components/tactics/proofEngineStructuralRules.mli [new file with mode: 0644]
components/tactics/proofEngineTypes.ml [new file with mode: 0644]
components/tactics/proofEngineTypes.mli [new file with mode: 0644]
components/tactics/reductionTactics.ml [new file with mode: 0644]
components/tactics/reductionTactics.mli [new file with mode: 0644]
components/tactics/ring.ml [new file with mode: 0644]
components/tactics/ring.mli [new file with mode: 0644]
components/tactics/statefulProofEngine.ml [new file with mode: 0644]
components/tactics/statefulProofEngine.mli [new file with mode: 0644]
components/tactics/tacticChaser.ml [new file with mode: 0644]
components/tactics/tacticals.ml [new file with mode: 0644]
components/tactics/tacticals.mli [new file with mode: 0644]
components/tactics/tactics.ml [new file with mode: 0644]
components/tactics/tactics.mli [new file with mode: 0644]
components/tactics/variousTactics.ml [new file with mode: 0644]
components/tactics/variousTactics.mli [new file with mode: 0644]
components/thread/.depend [new file with mode: 0644]
components/thread/Makefile [new file with mode: 0644]
components/thread/extThread.ml [new file with mode: 0644]
components/thread/extThread.mli [new file with mode: 0644]
components/thread/fake/threadSafe.ml [new file with mode: 0644]
components/thread/fake/threadSafe.mli [new file with mode: 0644]
components/thread/threadSafe.ml [new file with mode: 0644]
components/thread/threadSafe.mli [new file with mode: 0644]
components/urimanager/.depend [new file with mode: 0644]
components/urimanager/Makefile [new file with mode: 0644]
components/urimanager/uriManager.ml [new file with mode: 0644]
components/urimanager/uriManager.mli [new file with mode: 0644]
components/utf8_macros/.depend [new file with mode: 0644]
components/utf8_macros/Makefile [new file with mode: 0644]
components/utf8_macros/README.syntax [new file with mode: 0644]
components/utf8_macros/data/dictionary-tex.xml [new file with mode: 0644]
components/utf8_macros/data/entities-table.xml [new file with mode: 0644]
components/utf8_macros/data/extra-entities.xml [new file with mode: 0644]
components/utf8_macros/make_table.ml [new file with mode: 0644]
components/utf8_macros/pa_unicode_macro.ml [new file with mode: 0644]
components/utf8_macros/test.ml [new file with mode: 0644]
components/utf8_macros/utf8Macro.ml [new file with mode: 0644]
components/utf8_macros/utf8Macro.mli [new file with mode: 0644]
components/utf8_macros/utf8MacroTable.ml [new file with mode: 0644]
components/whelp/.depend [new file with mode: 0644]
components/whelp/Makefile [new file with mode: 0644]
components/whelp/fwdQueries.ml [new file with mode: 0644]
components/whelp/fwdQueries.mli [new file with mode: 0644]
components/whelp/whelp.ml [new file with mode: 0644]
components/whelp/whelp.mli [new file with mode: 0644]
components/xml/.depend [new file with mode: 0644]
components/xml/Makefile [new file with mode: 0644]
components/xml/test.ml [new file with mode: 0644]
components/xml/xml.ml [new file with mode: 0644]
components/xml/xml.mli [new file with mode: 0644]
components/xml/xmlPushParser.ml [new file with mode: 0644]
components/xml/xmlPushParser.mli [new file with mode: 0644]
components/xmldiff/.depend [new file with mode: 0644]
components/xmldiff/Makefile [new file with mode: 0644]
components/xmldiff/xmlDiff.ml [new file with mode: 0644]
components/xmldiff/xmlDiff.mli [new file with mode: 0644]
matita/.depend [new file with mode: 0644]
matita/.ocamlinit [new file with mode: 0644]
matita/AUTHORS [new file with mode: 0644]
matita/LICENSE [new file with mode: 0644]
matita/Makefile [new file with mode: 0644]
matita/applyTransformation.ml [new file with mode: 0644]
matita/applyTransformation.mli [new file with mode: 0644]
matita/buildTimeConf.ml.in [new file with mode: 0644]
matita/buildTimeConf.mli [new file with mode: 0644]
matita/closed.xml [new file with mode: 0644]
matita/contribs/LAMBDA-TYPES/Makefile [new file with mode: 0644]
matita/contribs/LAMBDA-TYPES/lref_map_defs.ma [new file with mode: 0644]
matita/contribs/LAMBDA-TYPES/terms_defs.ma [new file with mode: 0644]
matita/contribs/LAMBDA-TYPES/tlt_defs.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/Makefile [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/class_defs.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/class_eq.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/class_le.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/coa_defs.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/coa_props.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/domain_data.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/domain_defs.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/iff.ma [new file with mode: 0644]
matita/contribs/PREDICATIVE-TOPOLOGY/subset_defs.ma [new file with mode: 0644]
matita/core_notation.moo [new file with mode: 0644]
matita/dictionary-matita.xml [new file with mode: 0644]
matita/dist/Makefile [new file with mode: 0644]
matita/dist/fill_db.sh [new file with mode: 0755]
matita/dist/static_link/Makefile [new file with mode: 0644]
matita/dist/static_link/static_link.ml [new file with mode: 0644]
matita/dump_moo.ml [new file with mode: 0644]
matita/gtkmathview.matita.conf.xml.in [new file with mode: 0644]
matita/icons/matita-bulb-high.png [new file with mode: 0644]
matita/icons/matita-bulb-low.png [new file with mode: 0644]
matita/icons/matita-bulb-medium.png [new file with mode: 0644]
matita/icons/matita-folder.png [new file with mode: 0644]
matita/icons/matita-object.png [new file with mode: 0644]
matita/icons/matita-theory.png [new file with mode: 0644]
matita/icons/matita.png [new file with mode: 0644]
matita/icons/matita_medium.png [new file with mode: 0644]
matita/icons/matita_small.png [new file with mode: 0644]
matita/icons/matita_very_small.png [new file with mode: 0644]
matita/icons/meegg.png [new file with mode: 0644]
matita/icons/whelp.png [new file with mode: 0644]
matita/icons/whelp.svg [new file with mode: 0644]
matita/library/Makefile [new file with mode: 0644]
matita/library/Q/q.ma [new file with mode: 0644]
matita/library/Z/compare.ma [new file with mode: 0644]
matita/library/Z/orders.ma [new file with mode: 0644]
matita/library/Z/plus.ma [new file with mode: 0644]
matita/library/Z/times.ma [new file with mode: 0644]
matita/library/Z/z.ma [new file with mode: 0644]
matita/library/algebra/groups.ma [new file with mode: 0644]
matita/library/algebra/monoids.ma [new file with mode: 0644]
matita/library/algebra/semigroups.ma [new file with mode: 0644]
matita/library/datatypes/bool.ma [new file with mode: 0644]
matita/library/datatypes/compare.ma [new file with mode: 0644]
matita/library/datatypes/constructors.ma [new file with mode: 0644]
matita/library/higher_order_defs/functions.ma [new file with mode: 0644]
matita/library/higher_order_defs/ordering.ma [new file with mode: 0644]
matita/library/higher_order_defs/relations.ma [new file with mode: 0644]
matita/library/legacy/coq.ma [new file with mode: 0644]
matita/library/list/list.ma [new file with mode: 0644]
matita/library/list/sort.ma [new file with mode: 0644]
matita/library/logic/connectives.ma [new file with mode: 0644]
matita/library/logic/equality.ma [new file with mode: 0644]
matita/library/nat/chinese_reminder.ma [new file with mode: 0644]
matita/library/nat/compare.ma [new file with mode: 0644]
matita/library/nat/congruence.ma [new file with mode: 0644]
matita/library/nat/count.ma [new file with mode: 0644]
matita/library/nat/div_and_mod.ma [new file with mode: 0644]
matita/library/nat/exp.ma [new file with mode: 0644]
matita/library/nat/factorial.ma [new file with mode: 0644]
matita/library/nat/factorization.ma [new file with mode: 0644]
matita/library/nat/fermat_little_theorem.ma [new file with mode: 0644]
matita/library/nat/gcd.ma [new file with mode: 0644]
matita/library/nat/le_arith.ma [new file with mode: 0644]
matita/library/nat/lt_arith.ma [new file with mode: 0644]
matita/library/nat/minimization.ma [new file with mode: 0644]
matita/library/nat/minus.ma [new file with mode: 0644]
matita/library/nat/nat.ma [new file with mode: 0644]
matita/library/nat/nth_prime.ma [new file with mode: 0644]
matita/library/nat/ord.ma [new file with mode: 0644]
matita/library/nat/orders.ma [new file with mode: 0644]
matita/library/nat/permutation.ma [new file with mode: 0644]
matita/library/nat/plus.ma [new file with mode: 0644]
matita/library/nat/primes.ma [new file with mode: 0644]
matita/library/nat/primes1.ma [new file with mode: 0644]
matita/library/nat/relevant_equations.ma [new file with mode: 0644]
matita/library/nat/sigma_and_pi.ma [new file with mode: 0644]
matita/library/nat/times.ma [new file with mode: 0644]
matita/library/nat/totient.ma [new file with mode: 0644]
matita/matita.conf.xml [new symlink]
matita/matita.conf.xml.build.in [new file with mode: 0644]
matita/matita.conf.xml.devel.in [new file with mode: 0644]
matita/matita.conf.xml.user.in [new file with mode: 0644]
matita/matita.glade [new file with mode: 0644]
matita/matita.gtkrc [new file with mode: 0644]
matita/matita.lang [new file with mode: 0644]
matita/matita.ma.templ [new file with mode: 0644]
matita/matita.ml [new file with mode: 0644]
matita/matita.txt [new file with mode: 0644]
matita/matitaEngine.ml [new file with mode: 0644]
matita/matitaEngine.mli [new file with mode: 0644]
matita/matitaExcPp.ml [new file with mode: 0644]
matita/matitaExcPp.mli [new file with mode: 0644]
matita/matitaGtkMisc.ml [new file with mode: 0644]
matita/matitaGtkMisc.mli [new file with mode: 0644]
matita/matitaGui.ml [new file with mode: 0644]
matita/matitaGui.mli [new file with mode: 0644]
matita/matitaGuiTypes.mli [new file with mode: 0644]
matita/matitaInit.ml [new file with mode: 0644]
matita/matitaInit.mli [new file with mode: 0644]
matita/matitaMathView.ml [new file with mode: 0644]
matita/matitaMathView.mli [new file with mode: 0644]
matita/matitaMisc.ml [new file with mode: 0644]
matita/matitaMisc.mli [new file with mode: 0644]
matita/matitaScript.ml [new file with mode: 0644]
matita/matitaScript.mli [new file with mode: 0644]
matita/matitaTypes.ml [new file with mode: 0644]
matita/matitaTypes.mli [new file with mode: 0644]
matita/matitac.ml [new file with mode: 0644]
matita/matitacLib.ml [new file with mode: 0644]
matita/matitacLib.mli [new file with mode: 0644]
matita/matitaclean.ml [new file with mode: 0644]
matita/matitaclean.mli [new file with mode: 0644]
matita/matitadep.ml [new file with mode: 0644]
matita/matitadep.mli [new file with mode: 0644]
matita/matitamake.ml [new file with mode: 0644]
matita/matitamakeLib.ml [new file with mode: 0644]
matita/matitamakeLib.mli [new file with mode: 0644]
matita/matitatop.ml [new file with mode: 0644]
matita/scripts/README [new file with mode: 0644]
matita/scripts/bench.sql [new file with mode: 0644]
matita/scripts/crontab [new file with mode: 0644]
matita/scripts/crontab.sh [new file with mode: 0644]
matita/scripts/do_tests.sh [new file with mode: 0755]
matita/scripts/insert.awk [new file with mode: 0644]
matita/scripts/profile_svn.sh [new file with mode: 0755]
matita/scripts/public_html/bench.php [new file with mode: 0644]
matita/scripts/public_html/common.php [new file with mode: 0644]
matita/scripts/public_html/composequery.php [new file with mode: 0644]
matita/scripts/public_html/index.html [new file with mode: 0644]
matita/scripts/public_html/showquery.php [new file with mode: 0644]
matita/scripts/public_html/style.css [new file with mode: 0644]
matita/scripts/shell_adder.php [new file with mode: 0755]
matita/scripts/shell_time2cents.php [new file with mode: 0755]
matita/template_makefile.in [new file with mode: 0644]
matita/tests/Makefile [new file with mode: 0644]
matita/tests/SK.ma [new file with mode: 0644]
matita/tests/absurd.ma [new file with mode: 0644]
matita/tests/apply.ma [new file with mode: 0644]
matita/tests/assumption.ma [new file with mode: 0644]
matita/tests/bad_tests/Makefile [new file with mode: 0644]
matita/tests/bad_tests/auto.log [new file with mode: 0644]
matita/tests/bad_tests/auto.ma [new file with mode: 0755]
matita/tests/bad_tests/baseuri.log [new file with mode: 0644]
matita/tests/bad_tests/baseuri.ma [new file with mode: 0644]
matita/tests/change.ma [new file with mode: 0644]
matita/tests/clear.ma [new file with mode: 0644]
matita/tests/clearbody.ma [new file with mode: 0644]
matita/tests/coercions.ma [new file with mode: 0644]
matita/tests/comments.ma [new file with mode: 0644]
matita/tests/constructor.ma [new file with mode: 0644]
matita/tests/continuationals.ma [new file with mode: 0644]
matita/tests/contradiction.ma [new file with mode: 0644]
matita/tests/cut.ma [new file with mode: 0644]
matita/tests/decompose.ma [new file with mode: 0644]
matita/tests/demodulation_coq.ma [new file with mode: 0644]
matita/tests/demodulation_matita.ma [new file with mode: 0644]
matita/tests/discriminate.ma [new file with mode: 0644]
matita/tests/elim.ma [new file with mode: 0644]
matita/tests/fguidi.ma [new file with mode: 0644]
matita/tests/first.ma [new file with mode: 0644]
matita/tests/fix_betareduction.ma [new file with mode: 0644]
matita/tests/fold.ma [new file with mode: 0644]
matita/tests/generalize.ma [new file with mode: 0644]
matita/tests/interactive/automatic_insertion.ma [new file with mode: 0644]
matita/tests/interactive/drop.ma [new file with mode: 0644]
matita/tests/interactive/grafite.ma [new file with mode: 0644]
matita/tests/interactive/test5.ma [new file with mode: 0644]
matita/tests/interactive/test6.ma [new file with mode: 0644]
matita/tests/interactive/test7.ma [new file with mode: 0644]
matita/tests/interactive/test_instance.ma [new file with mode: 0644]
matita/tests/inversion.ma [new file with mode: 0644]
matita/tests/inversion2.ma [new file with mode: 0644]
matita/tests/letrec.ma [new file with mode: 0644]
matita/tests/match_inference.ma [new file with mode: 0644]
matita/tests/metasenv_ordering.ma [new file with mode: 0644]
matita/tests/mysql_escaping.ma [new file with mode: 0644]
matita/tests/paramodulation.ma [new file with mode: 0644]
matita/tests/record.ma [new file with mode: 0644]
matita/tests/replace.ma [new file with mode: 0644]
matita/tests/rewrite.ma [new file with mode: 0644]
matita/tests/second.ma [new file with mode: 0644]
matita/tests/simpl.ma [new file with mode: 0644]
matita/tests/test2.ma [new file with mode: 0644]
matita/tests/test3.ma [new file with mode: 0644]
matita/tests/test4.ma [new file with mode: 0644]
matita/tests/third.ma [new file with mode: 0644]
matita/tests/unfold.ma [new file with mode: 0644]