]> matita.cs.unibo.it Git - helm.git/commit
Use of standard OCaml syntax
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 2 Jan 2023 19:39:10 +0000 (20:39 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:23:40 +0000 (15:23 +0100)
commit926bd86002f91d2bf2a3ce7376309f5106268959
tree99dade7d52057ac0f83d9ff4b9072e1377848a73
parent66be8fbe19e2ccfa0e6a7abeba605152d1322595
Use of standard OCaml syntax

- do not rely on camlp5o for many files
- comply with the most recent OCaml warnings
- gtkMisc splitted into gtkMisc and gtkMiscCli, the latter
  does not depend on Gtk
- matitaclean is no longer a symbolic link to matita
  (required to switch to dune)
68 files changed:
matita/components/METAS/meta.helm-grafite_engine.src
matita/components/METAS/meta.helm-ng_tactics.src
matita/components/content/notationEnv.ml
matita/components/content_pres/cicNotationParser.mli
matita/components/content_pres/cicNotationPres.ml
matita/components/content_pres/content2presMatcher.ml
matita/components/content_pres/termContentPres.ml
matita/components/content_pres/termContentPres.mli
matita/components/disambiguation/disambiguate.ml
matita/components/extlib/discrimination_tree.ml
matita/components/extlib/trie.mli
matita/components/grafite/grafiteAstPp.ml
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_engine/nCicCoercDeclaration.ml
matita/components/grafite_engine/nCicCoercDeclaration.mli
matita/components/grafite_parser/grafiteParser.mli
matita/components/library/librarian.ml
matita/components/ng_cic_content/interpretations.ml
matita/components/ng_cic_content/interpretations.mli
matita/components/ng_disambiguation/grafiteDisambiguate.ml
matita/components/ng_disambiguation/grafiteDisambiguate.mli
matita/components/ng_disambiguation/nCicDisambiguate.ml
matita/components/ng_extraction/common.mli
matita/components/ng_extraction/coq.ml
matita/components/ng_extraction/extraction.mli
matita/components/ng_extraction/mlutil.mli
matita/components/ng_extraction/nCicExtraction.ml
matita/components/ng_extraction/ocaml.mli
matita/components/ng_extraction/ocamlExtraction.mli
matita/components/ng_extraction/ocamlExtractionTable.ml
matita/components/ng_extraction/ocamlExtractionTable.mli
matita/components/ng_kernel/nCicReduction.ml
matita/components/ng_library/nCicLibrary.ml
matita/components/ng_library/nCicLibrary.mli
matita/components/ng_paramodulation/nCicBlob.mli
matita/components/ng_paramodulation/nCicParamod.ml
matita/components/ng_paramodulation/nCicProof.ml
matita/components/ng_refiner/nCicCoercion.ml
matita/components/ng_refiner/nCicCoercion.mli
matita/components/ng_refiner/nCicMetaSubst.ml
matita/components/ng_refiner/nCicRefiner.ml
matita/components/ng_refiner/nCicUnifHint.ml
matita/components/ng_refiner/nCicUnifHint.mli
matita/components/ng_refiner/nCicUnification.ml
matita/components/ng_refiner/oMeta2nMeta.ml
matita/components/ng_tactics/declarative.ml
matita/components/ng_tactics/nCicElim.ml
matita/components/ng_tactics/nDestructTac.ml
matita/components/ng_tactics/nDestructTac.mli
matita/components/ng_tactics/nTacStatus.ml
matita/components/ng_tactics/nTacStatus.mli
matita/components/ng_tactics/nTactics.ml
matita/components/ng_tactics/nnAuto.ml
matita/components/syntax_extensions/utf8MacroTable.ml
matita/components/syntax_extensions/utf8MacroTable.ml.txt
matita/components/xml/test.ml
matita/matita/.depend
matita/matita/.depend.opt
matita/matita/Makefile
matita/matita/matitaGtkMisc.ml
matita/matita/matitaGuiInit.ml
matita/matita/matitaMisc.ml
matita/matita/matitaMisc.mli
matita/matita/matitaMiscCli.ml [new file with mode: 0644]
matita/matita/matitaMiscCli.mli [new file with mode: 0644]
matita/matita/matitac.ml
matita/matita/matitaclean.ml
matita/matita/matitaclean.mli [deleted file]