diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:53:38 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:53:38 +0000 |
| commit | c55fdd8ad6ce0b72ab60b5145e53f36ad117bfb8 (patch) | |
| tree | 29418eb10f0ea77c834c0b96be3d0647a87574bb /sci-mathematics/spass/ChangeLog | |
| parent | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. (diff) | |
| download | historical-c55fdd8ad6ce0b72ab60b5145e53f36ad117bfb8.tar.gz historical-c55fdd8ad6ce0b72ab60b5145e53f36ad117bfb8.tar.bz2 historical-c55fdd8ad6ce0b72ab60b5145e53f36ad117bfb8.zip | |
Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer integration.
Package-Manager: portage-2.1.10.63/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/spass/ChangeLog')
| -rw-r--r-- | sci-mathematics/spass/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/spass/ChangeLog b/sci-mathematics/spass/ChangeLog new file mode 100644 index 000000000000..1a1431a80982 --- /dev/null +++ b/sci-mathematics/spass/ChangeLog @@ -0,0 +1,10 @@ +# 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.1 2012/05/30 00:53:38 gienah Exp $ + +*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. + |