[Agda] Fwd: Lhs2Tex and unicode

[Ondrej Rypacek]

Yes! It works for me as well.
In summary : download source - apply patch - install - update access
rights as per Neil's email.

Thanks a lot!
Ondrej


On 17 July 2010 08:31, Jean-Philippe Bernardy <bernardy at chalmers.se> wrote:
> Here is the fix for lhs2TeX and unicode, in case anyone is interested.
> -- JP
>
>
> ---------- Forwarded message ----------
> From: Jean-Philippe Bernardy <bernardy at chalmers.se>
> Date: Wed, Jun 16, 2010 at 9:22 AM
> Subject: Re: Lhs2Tex and unicod
> To: Andres Loeh <andres at cs.uu.nl>
>
>
> On Wed, Jun 16, 2010 at 8:00 AM, Andres Loeh <andres at cs.uu.nl> wrote:
>>> I am having issues with lhs2tex since I upgraded to the last version.
>>
>> Have you built it with ghc-6.12?
>
> That's right.
>
>> There's something wrong with lhs2TeX
>> and Unicode handling in ghc-6.12. I haven't had time to sort it out yet,
>> which is quite bad, I know. Easy workaround is to install with ghc-6.10,
>> which works, or to browse the internet. I think others (Debian?) have
>> already fixed this problem.
>
> I confirm that this works. You may want to apply the patch inside:
>
> http://ftp.de.debian.org/debian/pool/main/l/lhs2tex/lhs2tex_1.15-3.debian.tar.gz
>
> (which I have also attached for convenience).
>
> Many thanks,
> JP.
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>