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                     
----------------------------------------------------------------------------