From 659980ac524e6e41edbeb01871d057355b9304cb Mon Sep 17 00:00:00 2001 From: David Seifert Date: Sat, 25 Nov 2017 17:52:42 +0100 Subject: sci-mathematics/spass: [QA] Consistent whitespace in metadata.xml --- sci-mathematics/spass/metadata.xml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'sci-mathematics/spass') 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. -- cgit v1.2.3-65-gdbad