sci-mathematics/cvc3/ChangeLog


1
2
3
4
5
6
7
8
9
10
11
12
13

# ChangeLog for sci-mathematics/cvc3
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/cvc3/ChangeLog,v 1.2 2012/05/31 21:33:02 ulm Exp $

  31 May 2012; Ulrich Müller <ulm@gentoo.org> files/50cvc3-gentoo.el:
  Remove spurious comment from site-init file for Emacs.

*cvc3-2.4.1 (30 May 2012)

  30 May 2012; Mark Wright <gienah@gentoo.org> +cvc3-2.4.1.ebuild,
  +files/50cvc3-gentoo.el, +metadata.xml:
  Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.