]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c123bf) | patch
removed deadcode / fixed typos (thanks to ocaml 3.09)
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 27 Nov 2005 16:17:59 +0000 (16:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 27 Nov 2005 16:17:59 +0000 (16:17 +0000)
commitafa05d30f20de12e031c3e5c3e5c33c19c42a7d8
tree42dee02afb90173d44bc37ee4d18999935bb1290tree | snapshot
parent7c123bfb1568f90f37cd667332fbf60d4423b983commit | diff
removed deadcode / fixed typos (thanks to ocaml 3.09)
25 files changed:
helm/ocaml/acic_content/termAcicContent.ml diff | blob | history
helm/ocaml/cic/cicUniv.ml diff | blob | history
helm/ocaml/cic/unshare.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/number_notation.ml diff | blob | history
helm/ocaml/cic_proof_checking/cicEnvironment.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_unification/cicRefine.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/content2presMatcher.ml diff | blob | history
helm/ocaml/content_pres/termContentPres.ml diff | blob | history
helm/ocaml/tactics/autoTactic.ml diff | blob | history
helm/ocaml/tactics/discriminationTactics.ml diff | blob | history
helm/ocaml/tactics/equalityTactics.ml diff | blob | history
helm/ocaml/tactics/fourierR.ml diff | blob | history
helm/ocaml/tactics/metadataQuery.ml diff | blob | history
helm/ocaml/tactics/proofEngineHelpers.ml diff | blob | history
helm/ocaml/tactics/proofEngineReduction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.