[Pkg-ocaml-maint-commits] [hevea] branch upstream updated (38a81dd -> 4c425e1)

Ralf Treinen treinen at moszumanska.debian.org
Thu Jun 19 06:40:29 UTC 2014


This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch upstream
in repository hevea.

      from  38a81dd   Imported Upstream version 2.11
      adds  6b46cfe   Imported Upstream version 2.12
      adds  3c48e0a   Imported Upstream version 2.13
      adds  e986eff   Imported Upstream version 2.14
      adds  4c425e1   Imported Upstream version 2.16

No new revisions were added by this update.

Summary of changes:
 CHANGES       | 12 +++++++++
 Makefile      |  5 +---
 README        |  2 +-
 buff.ml       | 43 ------------------------------
 buff.mli      | 18 -------------
 cross.ml      |  6 ++---
 cutOut.ml     |  3 ++-
 esp.ml        | 11 ++++----
 esp.mli       |  6 ++---
 esponja.ml    | 24 ++++++++++++++---
 foot.ml       |  4 +--
 foot.mli      |  3 ++-
 hevea.ml      |  1 +
 htmlCommon.ml |  2 +-
 htmllex.mli   | 14 +++++-----
 htmllex.mll   | 84 +++++++++++++++++++++++++++++++----------------------------
 htmlparse.ml  | 57 +++++++++++++++++++++++-----------------
 htmlparse.mli | 11 +++++---
 htmltext.ml   |  4 +--
 infoRef.mll   | 18 ++++++-------
 iso-symb.hva  |  2 +-
 latexscan.mli |  2 ++
 latexscan.mll | 29 ++++++++++++++-------
 lexstyle.mll  |  2 +-
 outUnicode.ml | 10 +++----
 package.ml    | 11 +++++---
 saver.mll     |  8 ++++--
 tagout.mll    | 10 ++++---
 version.ml    |  4 +--
 29 files changed, 205 insertions(+), 201 deletions(-)
 delete mode 100644 buff.ml
 delete mode 100644 buff.mli

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hevea.git



More information about the Pkg-ocaml-maint-commits mailing list