diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-01-24 23:15:58 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-01-24 23:58:38 +0100 |
| commit | 4412ca2c79a50481eff42550e9d63cba74c9ffc4 (patch) | |
| tree | c9fc5379b3c3097e4235ec64664ef2d893dd58ad /sci-mathematics/e | |
| parent | package.use.mask studio for net-analyzer/icinga2 (diff) | |
| download | gentoo-4412ca2c79a50481eff42550e9d63cba74c9ffc4.tar.gz gentoo-4412ca2c79a50481eff42550e9d63cba74c9ffc4.tar.bz2 gentoo-4412ca2c79a50481eff42550e9d63cba74c9ffc4.zip | |
Unify quoting in metadata.xml files for machine processing
Force unified quoting in all metadata.xml files since lxml does not
preserve original use of single and double quotes. Ensuring unified
quoting before the process allows distinguishing the GLEP 67-related
metadata.xml changes from unrelated quoting changes.
Diffstat (limited to 'sci-mathematics/e')
| -rw-r--r-- | sci-mathematics/e/metadata.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/e/metadata.xml b/sci-mathematics/e/metadata.xml index 215faaa6df45..775fe11dec03 100644 --- a/sci-mathematics/e/metadata.xml +++ b/sci-mathematics/e/metadata.xml @@ -6,7 +6,7 @@ <name>Mark Wright</name> </maintainer> <herd>sci-mathematics</herd> -<longdescription lang='en'> +<longdescription lang="en"> E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in @@ -26,7 +26,7 @@ most powerful and friendly reasoning systems for first-order logic. The prover has successfully participated in many competitions. </longdescription> <use> - <flag name='isabelle'>Add integration support for the Isabelle/HOL + <flag name="isabelle">Add integration support for the Isabelle/HOL theorem prover.</flag> </use> </pkgmetadata> |