Tasks pages seem to choke on UTF-8 non ascii characters
Hi Andreas,
CDD Subversion Commit <noreply@alioth.debian.org> (2008-08-12 21:42:14) :
> Author: sylvestre-guest
> Date: Tue Aug 12 21:42:13 2008
> New Revision: 1026
>
> Modified:
> projects/science/trunk/debian-science/tasks/mathematics
> Log:
> encoding issue
>
> Modified: projects/science/trunk/debian-science/tasks/mathematics
> ==============================================================================
> --- projects/science/trunk/debian-science/tasks/mathematics (original)
> +++ projects/science/trunk/debian-science/tasks/mathematics Tue Aug 12 21:42:13 2008
> @@ -77,7 +77,7 @@
> Features a choice of several ready-to-use logics (Higher Order Logic,
> Higher Order Logic augmented with Scott's Logic for Computable
> Functions, First Order Logic, Zermello-Frankel, an extensional
> - version of Martin-L?f Type Theory, Barendregt's Lambda Cube, a few
> + version of Martin-Lof Type Theory, Barendregt's Lambda Cube, a few
> sequent calculi (including modal and linear logics), ...) or
> defining your own logic / deductive system, a procedural and a
> declarative proof style, rich automation for classical reasoning,
This patch from Sylvestre corrects the fact that the automagically
generated tasks files seem to choke on UTF-8 characters. Namely, in
this case it was on
http://cdd.alioth.debian.org/science/tasks/mathematics.html
for isabelle with the error 'DEBUG: Element pkgLongDesc of Isabelle
has Unicode problems'
I do no know precisely whether the problem comes from the source
file (its encoding) or from the machinery. Just see this message as a
warning that something might be wrong.
Best regards,
Frédéric
Reply to: