From 4412ca2c79a50481eff42550e9d63cba74c9ffc4 Mon Sep 17 00:00:00 2001 From: Michał Górny Date: Sun, 24 Jan 2016 23:15:58 +0100 Subject: 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. --- sci-mathematics/e/metadata.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'sci-mathematics/e') 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 @@ Mark Wright sci-mathematics - + 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. - Add integration support for the Isabelle/HOL + Add integration support for the Isabelle/HOL theorem prover. -- cgit v1.2.3-65-gdbad