# ChangeLog for sci-mathematics/spass
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.4 2012/08/10 05:58:33 jlec Exp $

  10 Aug 2012; Justin Lecher <jlec@gentoo.org> spass-3.7.ebuild:
  Clean residuals from another fix solution

  10 Aug 2012; Justin Lecher <jlec@gentoo.org> spass-3.7.ebuild, metadata.xml:
  Respect CFLAGS, #430676; add missing USE=examples

  10 Aug 2012; Diego E. Pettenò <flameeyes@gentoo.org> metadata.xml:
  Fix metadata.

*spass-3.7 (30 May 2012)

  30 May 2012; Mark Wright <gienah@gentoo.org> +metadata.xml, +spass-3.7.ebuild:
  Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer
  integration.