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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 8 Jan 2006 18:00:22 +0000 (18:00 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Sun, 8 Jan 2006 18:00:22 +0000 (18:00 +0000)
commit	aa0d60227b785da3355b31519ba11cb4fbd2c925
tree	58ebe850df605739eb0240bf15879663a7f68408	tree \| snapshot
parent	d4246a4c72251a9e9cdd5ddfeed19039f8153877	commit \| diff

Added $Id$ to every .ml file.

201 files changed:

helm/matita/applyTransformation.ml		diff \| blob \| history
helm/matita/dump_moo.ml		diff \| blob \| history
helm/matita/matita.ml		diff \| blob \| history
helm/matita/matitaEngine.ml		diff \| blob \| history
helm/matita/matitaExcPp.ml		diff \| blob \| history
helm/matita/matitaGtkMisc.ml		diff \| blob \| history
helm/matita/matitaGui.ml		diff \| blob \| history
helm/matita/matitaInit.ml		diff \| blob \| history
helm/matita/matitaMathView.ml		diff \| blob \| history
helm/matita/matitaMisc.ml		diff \| blob \| history
helm/matita/matitaScript.ml		diff \| blob \| history
helm/matita/matitaTypes.ml		diff \| blob \| history
helm/matita/matitac.ml		diff \| blob \| history
helm/matita/matitacLib.ml		diff \| blob \| history
helm/matita/matitaclean.ml		diff \| blob \| history
helm/matita/matitadep.ml		diff \| blob \| history
helm/matita/matitamake.ml		diff \| blob \| history
helm/matita/matitamakeLib.ml		diff \| blob \| history
helm/matita/matitatop.ml		diff \| blob \| history
helm/ocaml/acic_content/acic2astMatcher.ml		diff \| blob \| history
helm/ocaml/acic_content/acic2content.ml		diff \| blob \| history
helm/ocaml/acic_content/cicNotationEnv.ml		diff \| blob \| history
helm/ocaml/acic_content/cicNotationPp.ml		diff \| blob \| history
helm/ocaml/acic_content/cicNotationPt.ml		diff \| blob \| history
helm/ocaml/acic_content/cicNotationUtil.ml		diff \| blob \| history
helm/ocaml/acic_content/content.ml		diff \| blob \| history
helm/ocaml/acic_content/content2cic.ml		diff \| blob \| history
helm/ocaml/acic_content/contentPp.ml		diff \| blob \| history
helm/ocaml/acic_content/termAcicContent.ml		diff \| blob \| history
helm/ocaml/cic/cic.ml		diff \| blob \| history
helm/ocaml/cic/cicParser.ml		diff \| blob \| history
helm/ocaml/cic/cicUniv.ml		diff \| blob \| history
helm/ocaml/cic/cicUtil.ml		diff \| blob \| history
helm/ocaml/cic/deannotate.ml		diff \| blob \| history
helm/ocaml/cic/discrimination_tree.ml		diff \| blob \| history
helm/ocaml/cic/helmLibraryObjects.ml		diff \| blob \| history
helm/ocaml/cic/libraryObjects.ml		diff \| blob \| history
helm/ocaml/cic/path_indexing.ml		diff \| blob \| history
helm/ocaml/cic/test.ml		diff \| blob \| history
helm/ocaml/cic/unshare.ml		diff \| blob \| history
helm/ocaml/cic_acic/cic2Xml.ml		diff \| blob \| history
helm/ocaml/cic_acic/cic2acic.ml		diff \| blob \| history
helm/ocaml/cic_acic/doubleTypeInference.ml		diff \| blob \| history
helm/ocaml/cic_acic/eta_fixing.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguateChoices.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguateTypes.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/number_notation.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicLogger.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicMiniReduction.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicPp.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicReduction.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicSubstitution.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicTypeChecker.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicUnivUtils.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/freshNamesGenerator.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicMetaSubst.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicMkImplicit.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicRefine.ml		diff \| blob \| history
helm/ocaml/cic_unification/cicUnification.ml		diff \| blob \| history
helm/ocaml/content_pres/box.ml		diff \| blob \| history
helm/ocaml/content_pres/boxPp.ml		diff \| blob \| history
helm/ocaml/content_pres/cicNotationLexer.ml		diff \| blob \| history
helm/ocaml/content_pres/cicNotationParser.ml		diff \| blob \| history
helm/ocaml/content_pres/cicNotationPres.ml		diff \| blob \| history
helm/ocaml/content_pres/content2pres.ml		diff \| blob \| history
helm/ocaml/content_pres/content2presMatcher.ml		diff \| blob \| history
helm/ocaml/content_pres/mpresentation.ml		diff \| blob \| history
helm/ocaml/content_pres/renderingAttrs.ml		diff \| blob \| history
helm/ocaml/content_pres/sequent2pres.ml		diff \| blob \| history
helm/ocaml/content_pres/termContentPres.ml		diff \| blob \| history
helm/ocaml/content_pres/test_lexer.ml		diff \| blob \| history
helm/ocaml/extlib/hExtlib.ml		diff \| blob \| history
helm/ocaml/extlib/hLog.ml		diff \| blob \| history
helm/ocaml/extlib/hMarshal.ml		diff \| blob \| history
helm/ocaml/extlib/patternMatcher.ml		diff \| blob \| history
helm/ocaml/getter/http_getter.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_common.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_const.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_env.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_logger.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_misc.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_storage.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_types.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_wget.ml		diff \| blob \| history
helm/ocaml/getter/test.ml		diff \| blob \| history
helm/ocaml/grafite/grafiteAst.ml		diff \| blob \| history
helm/ocaml/grafite/grafiteAstPp.ml		diff \| blob \| history
helm/ocaml/grafite/grafiteMarshal.ml		diff \| blob \| history
helm/ocaml/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/ocaml/grafite_engine/grafiteMisc.ml		diff \| blob \| history
helm/ocaml/grafite_engine/grafiteSync.ml		diff \| blob \| history
helm/ocaml/grafite_engine/grafiteTypes.ml		diff \| blob \| history
helm/ocaml/grafite_parser/cicNotation2.ml		diff \| blob \| history
helm/ocaml/grafite_parser/dependenciesParser.ml		diff \| blob \| history
helm/ocaml/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/ocaml/grafite_parser/grafiteDisambiguator.ml		diff \| blob \| history
helm/ocaml/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/ocaml/grafite_parser/print_grammar.ml		diff \| blob \| history
helm/ocaml/grafite_parser/test_dep.ml		diff \| blob \| history
helm/ocaml/grafite_parser/test_parser.ml		diff \| blob \| history
helm/ocaml/hbugs/broker.ml		diff \| blob \| history
helm/ocaml/hbugs/client.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_broker_registry.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_client.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_common.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_id_generator.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_messages.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_misc.ml		diff \| blob \| history
helm/ocaml/hbugs/hbugs_tutors.ml		diff \| blob \| history
helm/ocaml/hbugs/search_pattern_apply_tutor.ml		diff \| blob \| history
helm/ocaml/hgdome/domMisc.ml		diff \| blob \| history
helm/ocaml/hgdome/xml2Gdome.ml		diff \| blob \| history
helm/ocaml/hmysql/hMysql.ml		diff \| blob \| history
helm/ocaml/lexicon/cicNotation.ml		diff \| blob \| history
helm/ocaml/lexicon/disambiguatePp.ml		diff \| blob \| history
helm/ocaml/lexicon/lexiconAst.ml		diff \| blob \| history
helm/ocaml/lexicon/lexiconAstPp.ml		diff \| blob \| history
helm/ocaml/lexicon/lexiconEngine.ml		diff \| blob \| history
helm/ocaml/lexicon/lexiconMarshal.ml		diff \| blob \| history
helm/ocaml/lexicon/lexiconSync.ml		diff \| blob \| history
helm/ocaml/library/cicCoercion.ml		diff \| blob \| history
helm/ocaml/library/cicElim.ml		diff \| blob \| history
helm/ocaml/library/cicRecord.ml		diff \| blob \| history
helm/ocaml/library/coercDb.ml		diff \| blob \| history
helm/ocaml/library/coercGraph.ml		diff \| blob \| history
helm/ocaml/library/libraryClean.ml		diff \| blob \| history
helm/ocaml/library/libraryDb.ml		diff \| blob \| history
helm/ocaml/library/libraryMisc.ml		diff \| blob \| history
helm/ocaml/library/libraryNoDb.ml		diff \| blob \| history
helm/ocaml/library/librarySync.ml		diff \| blob \| history
helm/ocaml/logger/helmLogger.ml		diff \| blob \| history
helm/ocaml/mathql/mathQL.ml		diff \| blob \| history
helm/ocaml/mathql_generator/cGLocateInductive.ml		diff \| blob \| history
helm/ocaml/mathql_generator/cGMatchConclusion.ml		diff \| blob \| history
helm/ocaml/mathql_generator/cGSearchPattern.ml		diff \| blob \| history
helm/ocaml/mathql_generator/mQGTypes.ml		diff \| blob \| history
helm/ocaml/mathql_generator/mQGUtil.ml		diff \| blob \| history
helm/ocaml/mathql_generator/mQueryGenerator.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIConn.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIMap.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIMySql.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIPostgres.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIProperty.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQITypes.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIUtil.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQueryInterpreter.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQueryUtil.ml		diff \| blob \| history
helm/ocaml/metadata/metadataConstraints.ml		diff \| blob \| history
helm/ocaml/metadata/metadataDb.ml		diff \| blob \| history
helm/ocaml/metadata/metadataExtractor.ml		diff \| blob \| history
helm/ocaml/metadata/metadataPp.ml		diff \| blob \| history
helm/ocaml/metadata/metadataTypes.ml		diff \| blob \| history
helm/ocaml/metadata/sqlStatements.ml		diff \| blob \| history
helm/ocaml/paramodulation/equality_indexing.ml		diff \| blob \| history
helm/ocaml/paramodulation/indexing.ml		diff \| blob \| history
helm/ocaml/paramodulation/inference.ml		diff \| blob \| history
helm/ocaml/paramodulation/saturate_main.ml		diff \| blob \| history
helm/ocaml/paramodulation/saturation.ml		diff \| blob \| history
helm/ocaml/paramodulation/test_indexing.ml		diff \| blob \| history
helm/ocaml/paramodulation/utils.ml		diff \| blob \| history
helm/ocaml/registry/helm_registry.ml		diff \| blob \| history
helm/ocaml/registry/test.ml		diff \| blob \| history
helm/ocaml/tactics/autoTactic.ml		diff \| blob \| history
helm/ocaml/tactics/continuationals.ml		diff \| blob \| history
helm/ocaml/tactics/discriminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/eliminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/equalityTactics.ml		diff \| blob \| history
helm/ocaml/tactics/fourierR.ml		diff \| blob \| history
helm/ocaml/tactics/fwdSimplTactic.ml		diff \| blob \| history
helm/ocaml/tactics/hashtbl_equiv.ml		diff \| blob \| history
helm/ocaml/tactics/history.ml		diff \| blob \| history
helm/ocaml/tactics/introductionTactics.ml		diff \| blob \| history
helm/ocaml/tactics/inversion.ml		diff \| blob \| history
helm/ocaml/tactics/metadataQuery.ml		diff \| blob \| history
helm/ocaml/tactics/negationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/primitiveTactics.ml		diff \| blob \| history
helm/ocaml/tactics/proofEngineHelpers.ml		diff \| blob \| history
helm/ocaml/tactics/proofEngineReduction.ml		diff \| blob \| history
helm/ocaml/tactics/proofEngineStructuralRules.ml		diff \| blob \| history
helm/ocaml/tactics/proofEngineTypes.ml		diff \| blob \| history
helm/ocaml/tactics/reductionTactics.ml		diff \| blob \| history
helm/ocaml/tactics/ring.ml		diff \| blob \| history
helm/ocaml/tactics/statefulProofEngine.ml		diff \| blob \| history
helm/ocaml/tactics/tacticChaser.ml		diff \| blob \| history
helm/ocaml/tactics/tacticals.ml		diff \| blob \| history
helm/ocaml/tactics/variousTactics.ml		diff \| blob \| history
helm/ocaml/thread/extThread.ml		diff \| blob \| history
helm/ocaml/thread/threadSafe.ml		diff \| blob \| history
helm/ocaml/urimanager/uriManager.ml		diff \| blob \| history
helm/ocaml/utf8_macros/make_table.ml		diff \| blob \| history
helm/ocaml/utf8_macros/pa_unicode_macro.ml		diff \| blob \| history
helm/ocaml/utf8_macros/test.ml		diff \| blob \| history
helm/ocaml/utf8_macros/utf8Macro.ml		diff \| blob \| history
helm/ocaml/whelp/fwdQueries.ml		diff \| blob \| history
helm/ocaml/whelp/whelp.ml		diff \| blob \| history
helm/ocaml/xml/test.ml		diff \| blob \| history
helm/ocaml/xml/xml.ml		diff \| blob \| history
helm/ocaml/xml/xmlPushParser.ml		diff \| blob \| history
helm/ocaml/xmldiff/xmlDiff.ml		diff \| blob \| history

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

RSS Atom