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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 27 Dec 2018 00:19:15 +0000 (01:19 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 27 Dec 2018 00:19:15 +0000 (01:19 +0100)
commit	3220eee6c3dd2968727c5c595d6ca78e89291b5f
tree	5c328c3427ce119a33f16f65fcc51a016a91d33f	tree \| snapshot
parent	cf8b1c25a0011ca2a8a856b39e046da33c451221	commit \| diff

Most warnings turned into errors and avoided

86 files changed:

matita/components/Makefile.common		diff \| blob \| history
matita/components/content/notationEnv.ml		diff \| blob \| history
matita/components/content/notationPp.ml		diff \| blob \| history
matita/components/content/notationUtil.ml		diff \| blob \| history
matita/components/content_pres/Makefile		diff \| blob \| history
matita/components/content_pres/boxPp.ml		diff \| blob \| history
matita/components/content_pres/cicNotationParser.ml		diff \| blob \| history
matita/components/content_pres/cicNotationPres.ml		diff \| blob \| history
matita/components/content_pres/content2pres.ml		diff \| blob \| history
matita/components/content_pres/content2presMatcher.ml		diff \| blob \| history
matita/components/content_pres/termContentPres.ml		diff \| blob \| history
matita/components/disambiguation/disambiguate.ml		diff \| blob \| history
matita/components/disambiguation/disambiguateTypes.ml		diff \| blob \| history
matita/components/disambiguation/multiPassDisambiguator.ml		diff \| blob \| history
matita/components/extlib/discrimination_tree.ml		diff \| blob \| history
matita/components/extlib/hExtlib.ml		diff \| blob \| history
matita/components/extlib/hLog.ml		diff \| blob \| history
matita/components/extlib/patternMatcher.ml		diff \| blob \| history
matita/components/extlib/trie.ml		diff \| blob \| history
matita/components/getter/http_getter.ml		diff \| blob \| history
matita/components/getter/http_getter_common.ml		diff \| blob \| history
matita/components/getter/http_getter_logger.ml		diff \| blob \| history
matita/components/getter/http_getter_misc.ml		diff \| blob \| history
matita/components/getter/http_getter_storage.ml		diff \| blob \| history
matita/components/grafite/grafiteAstPp.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/nCicCoercDeclaration.ml		diff \| blob \| history
matita/components/grafite_parser/Makefile		diff \| blob \| history
matita/components/grafite_parser/print_grammar.ml		diff \| blob \| history
matita/components/library/librarian.ml		diff \| blob \| history
matita/components/library/libraryClean.ml		diff \| blob \| history
matita/components/logger/helmLogger.ml		diff \| blob \| history
matita/components/ng_cic_content/interpretations.ml		diff \| blob \| history
matita/components/ng_disambiguation/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/ng_extraction/Makefile		diff \| blob \| history
matita/components/ng_extraction/common.ml		diff \| blob \| history
matita/components/ng_extraction/common.mli		diff \| blob \| history
matita/components/ng_extraction/coq.ml		diff \| blob \| history
matita/components/ng_extraction/extraction.ml		diff \| blob \| history
matita/components/ng_extraction/extraction.mli		diff \| blob \| history
matita/components/ng_extraction/mlutil.ml		diff \| blob \| history
matita/components/ng_extraction/ocaml.ml		diff \| blob \| history
matita/components/ng_kernel/Makefile		diff \| blob \| history
matita/components/ng_kernel/nCicReduction.ml		diff \| blob \| history
matita/components/ng_kernel/nCicSubstitution.ml		diff \| blob \| history
matita/components/ng_kernel/nCicTypeChecker.ml		diff \| blob \| history
matita/components/ng_library/Makefile		diff \| blob \| history
matita/components/ng_paramodulation/.depend		diff \| blob \| history
matita/components/ng_paramodulation/.depend.opt		diff \| blob \| history
matita/components/ng_paramodulation/foUnif.ml		diff \| blob \| history
matita/components/ng_paramodulation/index.ml		diff \| blob \| history
matita/components/ng_paramodulation/nCicBlob.ml		diff \| blob \| history
matita/components/ng_paramodulation/nCicParamod.ml		diff \| blob \| history
matita/components/ng_paramodulation/nCicProof.ml		diff \| blob \| history
matita/components/ng_paramodulation/orderings.ml		diff \| blob \| history
matita/components/ng_paramodulation/paramod.ml		diff \| blob \| history
matita/components/ng_paramodulation/pp.ml		diff \| blob \| history
matita/components/ng_paramodulation/stats.ml		diff \| blob \| history
matita/components/ng_paramodulation/superposition.ml		diff \| blob \| history
matita/components/ng_refiner/Makefile		diff \| blob \| history
matita/components/ng_refiner/nCicMetaSubst.ml		diff \| blob \| history
matita/components/ng_refiner/nCicRefineUtil.ml		diff \| blob \| history
matita/components/ng_refiner/nCicRefiner.ml		diff \| blob \| history
matita/components/ng_refiner/nCicUnifHint.ml		diff \| blob \| history
matita/components/ng_tactics/nCicElim.ml		diff \| blob \| history
matita/components/ng_tactics/nDestructTac.ml		diff \| blob \| history
matita/components/ng_tactics/nInversion.ml		diff \| blob \| history
matita/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
matita/components/ng_tactics/nTactics.ml		diff \| blob \| history
matita/components/ng_tactics/nnAuto.ml		diff \| blob \| history
matita/components/registry/helm_registry.ml		diff \| blob \| history
matita/components/xml/xml.ml		diff \| blob \| history
matita/matita/Makefile		diff \| blob \| history
matita/matita/applyTransformation.ml		diff \| blob \| history
matita/matita/cicMathView.ml		diff \| blob \| history
matita/matita/lablGraphviz.ml		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/matitaGtkMisc.ml		diff \| blob \| history
matita/matita/matitaGui.ml		diff \| blob \| history
matita/matita/matitaMathView.ml		diff \| blob \| history
matita/matita/matitaMisc.ml		diff \| blob \| history
matita/matita/matitaScript.ml		diff \| blob \| history
matita/matita/matitaTypes.ml		diff \| blob \| history
matita/matita/virtuals.ml		diff \| blob \| history

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

RSS Atom