This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository hevea.
commit 7b1363b72a6417db96f9f6f89e1e70e68cb4e06c
Merge: 99f738b 49d4a83
Author: Ralf Treinen <treinen at free.fr>
Date: Mon Sep 29 08:37:16 2014 +0200
Merge tag 'upstream/2.18'
Upstream version 2.18
CHANGES | 6 +++++
Makefile | 7 +++---
README | 26 ++++++++++----------
_tags | 1 +
bytes.mlip | 10 ++++++++
bytes.mlp | 9 +++++++
check402.ml | 6 +++++
counter.ml | 2 +-
cut.mll | 2 +-
doOut.ml | 42 +++++++++++++++++---------------
esp.ml | 2 +-
foot.ml | 8 +++---
handle402.sh | 8 ++++++
length.mll | 2 +-
lexstate.ml | 10 ++++----
myLexing.ml | 2 +-
mysys.ml | 4 +--
outUnicode.ml | 2 +-
save.mll | 14 ++++++++---
simpleRope.ml | 45 +++++++++++++++++++++++++++++-----
simpleRope.mli | 2 +-
table.ml | 4 +--
tabular.mll | 2 +-
text.ml | 77 +++++++++++++++++++++++++++++-----------------------------
ultra.ml | 16 ++++++------
verb.mll | 4 +--
version.ml | 4 +--
videoc.mll | 2 ++
28 files changed, 200 insertions(+), 119 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hevea.git