Hi Andreas, CDD Subversion Commit <[EMAIL PROTECTED]> (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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
