diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/spass/metadata.xml | 7 |
1 files changed, 3 insertions, 4 deletions
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 @@ <name>Gentoo Mathematics Project</name> </maintainer> <longdescription lang="en"> -SPASS: An Automated Theorem Prover for First-Order Logic with Equality. -</longdescription> + SPASS: An Automated Theorem Prover for First-Order Logic with Equality. + </longdescription> <use> - <flag name="isabelle">Add integration support for the Isabelle/HOL - theorem prover.</flag> + <flag name="isabelle">Add integration support for the Isabelle/HOL theorem prover.</flag> </use> </pkgmetadata> |