[Pkg-ocaml-maint-commits] [prooftree] branch master updated (db95154 -> ece0feb)

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 change to branch master
in repository prooftree.

      from  db95154   Update changelog and prepare upload to unstable
       new  e7a7642   Imported Upstream version 0.13
       new  4c3ed43   Merge tag 'upstream/0.13'
       new  ece0feb   update packaging

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 .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 +-
 debian/changelog                                   |   9 +
 debian/control                                     |   6 +-
 .../0001-Fix-compilation-with-OCaml-4.02.patch     |  60 ---
 debian/patches/series                              |   1 -
 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 +-
 37 files changed, 1668 insertions(+), 574 deletions(-)
 delete mode 100644 .cvsignore
 create mode 100644 compatibility
 delete mode 100644 debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch
 create mode 100644 prooftree.man.html
 create mode 100644 test/cycle.v
 create mode 100644 test/evar_2.v
 create mode 100644 test/giveup.v

-- 
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