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 debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20402.9000.853093.435...@wallace.tews.net