[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, upstream, created. 9151a834634039cc596a9a1054f7484f529e1835

[Hendrik Tews]

The branch, upstream has been created
        at  9151a834634039cc596a9a1054f7484f529e1835 (commit)

- Shortlog ------------------------------------------------------------
commit 9151a834634039cc596a9a1054f7484f529e1835
Author: Hendrik Tews <hendrik at askra.de>
Date:   Mon May 14 23:32:44 2012 +0200

    Imported Upstream version 0.10

-----------------------------------------------------------------------

-- 
prooftree packaging