[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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
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,

Reply to: