Re: Quotes inside a comment ?

From: Gerd Stolpmann (
Date: Thu Oct 14 1999 - 21:17:49 MET DST

From: Gerd Stolpmann <>
To: Juergen Pfitzenmaier <>
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 Stolpmann      Telefon: +49 6151 997705 (privat)
Viktoriastr. 100             
64293 Darmstadt     EMail: (privat)

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET