matita (0.4.97-1) unstable; urgency=low

  * New version svn tag 0.4.96.

 -- Enrico Tassi <gareuselesinge@debian.org>  Fri, 16 Nov 2007 20:37:55 +0100

matita (0.4.96-1) unstable; urgency=low

  * First upload of svn tag 0.4.96 (Closes: #448156).

 -- Enrico Tassi <gareuselesinge@debian.org>  Fri, 26 Oct 2007 11:25:03 +0200