# ChangeLog for sci-mathematics/prover9
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.3 2012/01/30 05:16:54 gienah Exp $

  30 Jan 2012; Mark Wright <gienah@gentoo.org> metadata.xml:
  Note I am the maintainer in metadata.xml.

  08 Jan 2012; Mark Wright <gienah@gentoo.org> prover9-2009.11a.ebuild:
  Compress the mirrored patch, thanks to xarthisius for reviewing

*prover9-2009.11a (08 Jan 2012)

  08 Jan 2012; Mark Wright <gienah@gentoo.org>
  +files/LADR-2009-11A-manpages.patch, +prover9-2009.11a.ebuild, +metadata.xml:
  Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.