first version of prooftree in git

[Hendrik Tews <hendrik@askra.de>]

Hi,

the DOM git repository contains the first version of the
prooftree package, see
http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git


Comments are welcome. I would of course be happy if I could find
a sponsor for prooftree.

Bye,

Hendrik