[Pkg-ocaml-maint-commits] [prooftree] 02/03: Merge tag 'upstream/0.13'
Hendrik Tews
hendrik-guest at moszumanska.debian.org
Tue Jan 3 16:07:02 UTC 2017
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 <hendrik at 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
More information about the Pkg-ocaml-maint-commits
mailing list