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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
