This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository prooftree.
commit 4c3ed43635c508b6ea4e99cf8b60f7df3293245d Merge: db95154 e7a7642 Author: Hendrik Tews <hend...@askra.de> Date: Tue Jan 3 15:50:50 2017 +0100 Merge tag 'upstream/0.13' Upstream version 0.13 .cvsignore | 10 - .gitignore | 13 ++ ChangeLog | 118 +++++++++++ INSTALL | 2 +- Makefile.in | 8 +- README | 6 +- about_window.ml | 4 +- changes.html | 16 +- compatibility | 7 + configuration.ml | 584 ++++++++++++++++++++++++++++------------------------- configure | 4 +- coq.ml | 6 +- draw_tree.ml | 143 +++++++++++-- emacs_commands.ml | 4 +- ext_dialog.ml | 10 +- gtk_ext.ml | 4 +- help_window.ml | 80 ++++++-- input.ml | 131 +++++++++--- input.mli | 4 +- main.ml | 33 +-- node_window.ml | 134 ++++++++++-- proof_tree.ml | 56 ++--- proof_tree.mli | 4 +- proof_window.ml | 29 ++- prooftree.1 | 59 ++++-- prooftree.man.html | 561 ++++++++++++++++++++++++++++++++++++++++++++++++++ test/cycle.v | 17 ++ test/evar_2.v | 17 ++ test/giveup.v | 11 + tree_layers.ml | 17 +- util.ml | 68 +++---- version.mli | 4 +- version.txt | 2 +- 33 files changed, 1656 insertions(+), 510 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits