coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Bas Spitters <spitters AT cs.ru.nl>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] listings and unicode characters
Date: Wed, 26 May 2010 14:07:45 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type; b=Oa/YYB/2GHQg+C/awMzhL0mpXQnyFJhJYnqJfBbCNvlK86C6p51mr4dbXRPhIYVDWD IdKxz2234S/+Ah6JbleevLVT5sCKVrDVnvk7ZOA5cIbDEf/vdh/Hfh7ST0GfzWpocnWe 8E8pGoC/aeVCUhaqQabS/5s35pxJ6UKY0k6NA=

Many Coq-users use the latex listings environment for Coq-commands.
http://www.ctan.org/tex-archive/macros/latex/contrib/listings/

Is there any experience using this with unicode symbols?

Thanks,

Bas

[Coq-Club] listings and unicode characters, Bas Spitters
- Re: [Coq-Club] listings and unicode characters, David Pichardie
- Re: [Coq-Club] listings and unicode characters, Chantal Keller