diff options
Diffstat (limited to 'sci-mathematics/cvc3/ChangeLog')
| -rw-r--r-- | sci-mathematics/cvc3/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/cvc3/ChangeLog b/sci-mathematics/cvc3/ChangeLog new file mode 100644 index 000000000000..236286228415 --- /dev/null +++ b/sci-mathematics/cvc3/ChangeLog @@ -0,0 +1,10 @@ +# 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.1 2012/05/30 00:51:22 gienah Exp $ + +*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. + |