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 d977ce7d257059323763675b1142eb50f8bb46a8 (commit) via 839a47d52a9ec4d173d7009b034616667b2f89b1 (commit) via afe414e232fade40f3af0cd008ad9f2c026d2657 (commit) from 845a43229bcd8f77b48d781b3a583d02272e5328 (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 ----------------------------------------------------------------- d977ce7 Typo in documentation. 839a47d Fix and update URLs in the documentation. afe414e Adjust the documentation regarding operators. ----------------------------------------------------------------------- Summary of changes: doc/havm.texi | 29 +++++++++++++++-------------- 1 file changed, 15 insertions(+), 14 deletions(-) hooks/post-receive -- HAVM, a Tree intermediate language interpreter