This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq.
commit 58545b00a1c1825d9e51b16c2986976dd45dd3b2
Merge: bdb99a4 d2c5c5e
Author: Stephane Glondu <st...@glondu.net>
Date: Sun Jan 19 15:09:26 2014 +0100
Merge tag 'upstream/8.4pl3dfsg'
Upstream version 8.4pl3dfsg
CHANGES | 31 ++
README | 2 +-
_tags | 4 +-
configure | 38 +-
ide/command_windows.ml | 10 +-
ide/coq.ml | 12 +-
ide/coq.mli | 2 +-
ide/coqide.ml | 11 +-
interp/topconstr.ml | 2 +-
kernel/cbytecodes.mli | 2 +-
kernel/csymtable.mli | 2 +-
kernel/indtypes.ml | 7 +-
kernel/indtypes.mli | 2 +-
kernel/univ.ml | 2 +-
lib/pp.ml4 | 1 +
lib/pp.mli | 1 +
library/library.ml | 2 +-
myocamlbuild.ml | 8 +-
parsing/lexer.ml4 | 2 +-
parsing/printer.ml | 4 +-
plugins/nsatz/Nsatz.v | 4 +-
plugins/setoid_ring/Field_tac.v | 6 +-
plugins/setoid_ring/Field_theory.v | 16 +-
plugins/subtac/subtac_obligations.ml | 10 +-
plugins/xml/cic2acic.ml | 2 +-
plugins/xml/xmlcommand.ml | 26 +-
pretyping/arguments_renaming.ml | 14 +-
pretyping/detyping.ml | 4 +-
pretyping/evarconv.ml | 63 ++-
pretyping/matching.ml | 7 +-
pretyping/retyping.ml | 20 +-
pretyping/unification.ml | 18 +-
proofs/redexpr.ml | 6 +-
scripts/coqc.ml | 2 +-
tactics/class_tactics.ml4 | 8 +-
tactics/equality.ml | 28 +-
tactics/tacinterp.ml | 4 +-
test-suite/Makefile | 1 +
test-suite/bugs/closed/3003.v | 12 +
test-suite/bugs/closed/3023.v | 31 ++
test-suite/bugs/closed/shouldsucceed/2230.v | 6 +
test-suite/bugs/closed/shouldsucceed/2837.v | 15 +
test-suite/output/Arguments_renaming.out | 5 +
test-suite/output/Arguments_renaming.v | 2 +-
test-suite/success/Case19.v | 11 +
theories/Logic/ConstructiveEpsilon.v | 2 +-
tools/coqdep.ml | 13 +-
tools/coqdep_boot.ml | 2 +-
tools/coqdep_common.ml | 16 +-
tools/coqdep_common.mli | 3 +-
tools/fake_ide.ml | 16 +-
toplevel/class.ml | 2 +-
toplevel/coqinit.ml | 2 +-
toplevel/himsg.ml | 6 +-
toplevel/ide_intf.ml | 610 +++++++++++++++++-----------
toplevel/ide_intf.mli | 99 ++---
toplevel/ide_slave.ml | 32 +-
toplevel/indschemes.ml | 2 +-
toplevel/interface.mli | 125 +++++-
toplevel/metasyntax.ml | 4 +-
toplevel/mltop.ml4 | 2 +-
toplevel/vernacentries.ml | 16 +-
62 files changed, 910 insertions(+), 508 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
