[mona] 01/06: Merge tag 'upstream/1.4-17'

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository mona.

commit 32b04aa1f1044249d45d63964da0419d506ebbcd
Merge: 608e7ab 7035dea
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Mar 26 19:07:16 2016 +0100

    Merge tag 'upstream/1.4-17'
    
    Upstream version 1.4-17

 .gitignore             |    2 +-
 BDD/bdd_internal.h     |    7 +-
 BDD/makefile.in        |  248 +++++++----
 ChangeLog              |    7 +
 DFA/makefile.in        |  336 +++++++++------
 DFA/product.c          |    2 +-
 Examples/bdd_example.c |    2 +
 Examples/makefile.am   |    2 +
 Examples/makefile.in   |  240 +++++++----
 Front/lib.cpp          |    8 +-
 Front/makefile.am      |    2 +-
 Front/makefile.in      |  658 ++++++++++++++++------------
 Front/mona.cpp         |    2 +-
 Front/scanner.lpp      |    2 +-
 Front/untyped.cpp      |    6 +-
 GTA/makefile.in        |  408 +++++++++++-------
 GTA/pairhash.c         |    2 +-
 Lib/makefile.am        |    2 +
 Lib/makefile.in        |  246 +++++++----
 Mem/dlmalloc.c         |    2 +-
 Mem/dlmalloc.h         |    2 +-
 Mem/makefile.in        |  248 +++++++----
 Mem/mem.c              |   24 +-
 Mem/mem.h              |    2 +-
 README                 |    2 +-
 aclocal.m4             | 1071 +++++++++++++++++++++++++++++----------------
 config.h.in            |    5 +
 config/ar-lib          |    2 +-
 config/compile         |  347 +++++++++++++++
 config/config.guess    |  184 ++++----
 config/config.sub      |  106 +++--
 config/depcomp         |  455 +++++++++++--------
 config/init            |    1 +
 config/install-sh      |   14 +-
 config/ltmain.sh       |  121 +++---
 config/makefile.in     |  110 +++--
 config/missing         |  414 +++++++-----------
 configure              | 1127 +++++++++++++++++++++++++++++++-----------------
 configure.ac           |   38 +-
 m4/libtool.m4          |  346 +++++++++++----
 m4/ltoptions.m4        |   19 +-
 m4/ltversion.m4        |   10 +-
 makefile.am            |    6 +-
 makefile.in            |  361 +++++++++-------
 mona-mode.el           |    2 +-
 mona.1                 |    2 +-
 46 files changed, 4552 insertions(+), 2651 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/mona.git