prooftree (0.9-1) unstable; urgency=low

  * new upstream release

 -- Hendrik Tews <tews@os.inf.tu-dresden.de>  Wed, 04 Jan 2012 16:57:35 +0100

prooftree (0.8-1) unstable; urgency=low

  * Initial release

 -- Hendrik Tews <hendrik@askra.de>  Mon, 02 Jan 2012 14:28:45 +0100
