This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "HAVM, a Tree intermediate language interpreter".
The branch master has been updated
via f2d7b4e2fc053aa06c4172aa4ce4a68ef6dba027 (commit)
via 54d9b4cd2dea5c7047c7ecccc58de01cecd81e4c (commit)
via 1acc62f1b2df50537435059bcd816c65319d5efc (commit)
via 86cd1ed61db693e9e39c5f9f15225a7c7c55a81b (commit)
from 41c602c0e0f26580127fc6ab08e1ac7131b3baa1 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
f2d7b4e Convert to UTF-8.
54d9b4c Update doc remote installation settings to target the new location.
1acc62f Update the builtins documentation.
86cd1ed Fix and update copyright years.
-----------------------------------------------------------------------
Summary of changes:
AUTHORS | 7 +++++--
ChangeLog | 13 +++++++------
Makefile.am | 4 +++-
NEWS | 4 ++--
README | 3 ++-
THANKS | 4 ++--
TODO | 7 ++++---
configure.ac | 4 +++-
debian/copyright | 4 ++--
doc/Makefile.am | 10 +++++-----
doc/builtins.texi | 2 +-
doc/havm.texi | 10 +++++++---
src/Makefile.am | 4 +++-
src/Opt.hs | 3 ++-
tests/cmp.test | 2 +-
tests/defs.in | 2 +-
tests/trace.test | 2 +-
17 files changed, 51 insertions(+), 34 deletions(-)
hooks/post-receive
--
HAVM, a Tree intermediate language interpreter