From: David Seifert Date: Sat, 25 Nov 2017 16:52:42 +0000 (+0100) Subject: sci-mathematics/spass: [QA] Consistent whitespace in metadata.xml X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=659980ac524e6e41edbeb01871d057355b9304cb;p=gentoo.git sci-mathematics/spass: [QA] Consistent whitespace in metadata.xml --- diff --git a/sci-mathematics/spass/metadata.xml b/sci-mathematics/spass/metadata.xml index 742f96e9a9c2..93ca493501bd 100644 --- a/sci-mathematics/spass/metadata.xml +++ b/sci-mathematics/spass/metadata.xml @@ -9,10 +9,9 @@ Gentoo Mathematics Project -SPASS: An Automated Theorem Prover for First-Order Logic with Equality. - + SPASS: An Automated Theorem Prover for First-Order Logic with Equality. + - Add integration support for the Isabelle/HOL - theorem prover. + Add integration support for the Isabelle/HOL theorem prover.