From: Gerd Stolpmann <Gerd.Stolpmann@darmstadt.netsurf.de>
To: Juergen Pfitzenmaier <pfitzen@informatik.uni-tuebingen.de>
Subject: Re: Quotes inside a comment ?
Date: Thu, 14 Oct 1999 21:17:49 +0200
Message-Id: <99101421240000.20232@ice>
On Wed, 13 Oct 1999, Juergen Pfitzenmaier wrote:
>The documentation says even inside comments the quotes (that's -- " --)
>have to be used pairwise. Is there any reason for this ?
To comment code out, e.g.
(* print_string "*)" *)
>I would like to have a good documentation for the code I write and my
>preferred way is to use nuweb and put some TeX right beside the piece
>of code it refers to. But sometimes I have to use a non-english language
>for the comments and then I need special characters that are constructed
>with a -- " -- in front of them.
If it is Latex why don't you use the inputenc package? If not, I don't have
an easy answer.
Gerd
-- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: Gerd.Stolpmann@darmstadt.netsurf.de (privat) Germany ----------------------------------------------------------------------------
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET