demexp-dev
[Top][All Lists]
Advanced

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

[Demexp-dev] Re: Before merging ketty's branch


From: David MENTRE
Subject: [Demexp-dev] Re: Before merging ketty's branch
Date: Fri, 13 Oct 2006 22:45:53 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)

"ketty ." <address@hidden> writes:

> It works fine for me. :)

Great. I've merged your branch. :-)

> (Well, minus the fact that the server still don't compile out of the box on
> amd64)

Yes. A clean fix (Caml_int CDuce type) is available in latest CDuce
release (0.4.1 IIRC). As soon as Thomas updates his Debian package of
cduce, I'll use that type and that should work out of the box on AMD64.

> I noticed you had to replace some utf-8 characters to be able to build the
> book. I assume this is because of crappy unicode support in tex?

This is because I use latin1 encoding by for latex document. I hope I
can switch to UTF-8 without issue. :-)

> Since latin1 no longer is mandatory for ocaml sources i propose we
> migrate them to unicode if possible.

Yes, this is in the pipeline.

Do you know a simple way to determine if a file is encoded into latin1
or unicode ('file' only provides encoding for text files)?

Best wishes,
d.
-- 
GPG/PGP key: A3AD7A2A David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A




reply via email to

[Prev in Thread] Current Thread [Next in Thread]