[Pkg-ocaml-maint-commits] [aac-tactics] branch upstream updated (a77bca8 -> 17564e4)

[Nicolas Braud-Santoni]

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

nicoo-guest pushed a change to branch upstream
in repository aac-tactics.

      from  a77bca8   Imported Upstream version 0.4
      adds  17564e4   Imported Upstream version 8.5.1

No new revisions were added by this update.

Summary of changes:
 .gitignore               |   2 -
 AAC.v                    |   1 +
 CHANGELOG                |   5 --
 Caveats.v                |   3 -
 Instances.v              |  31 ++++---
 Make                     |  21 +++++
 Makefile                 |  38 ++------
 README.txt => README     |  24 +----
 Tutorial.v               |  33 -------
 aac.mlpack               |   1 -
 coq.ml                   |  60 +++++++------
 coq.mli                  |   6 +-
 description              |  15 ++++
 evm_compute.ml           | 221 -----------------------------------------------
 evm_compute.mli          |  11 ---
 files.txt                |  11 ---
 matcher.ml               |   2 +-
 print.ml                 |   4 +-
 print.mli                |   2 +-
 rewrite.ml4              |  95 ++++++--------------
 print.mli => rewrite.mli |  16 +---
 theory.ml                |  88 +++++++++++++++----
 theory.mli               |   2 +-
 23 files changed, 204 insertions(+), 488 deletions(-)
 delete mode 100644 .gitignore
 create mode 100644 Make
 rename README.txt => README (68%)
 mode change 100644 => 100755 coq.ml
 create mode 100644 description
 delete mode 100644 evm_compute.ml
 delete mode 100644 evm_compute.mli
 delete mode 100644 files.txt
 copy print.mli => rewrite.mli (50%)

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