Date:	Tue, 9 Jun 1998 18:11:24 +0300 (IDT)
From:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To:	Olivier Perron <perron AT art DOT alcatel DOT fr>
cc:	^Magico^ <bfe2333 AT mail DOT telepac DOT pt>, djgpp AT delorie DOT com
Subject:	Re: Int2TeX v1.00 was released
In-Reply-To:	<Pine.GSO.3.96.980609094423.12259A-100000@rtbsci146s>
Message-ID:	<Pine.SUN.3.91.980609180924.16324I-100000@is>
MIME-Version:	1.0

On Tue, 9 Jun 1998, Olivier Perron wrote:

> Formatting node B AT F000F84D...
> Int2TeX.TEX:100794: Unknown command `F000F84D'.

I didn't yet look at the translator, but the problem here seems to be 
that you need to replace B AT F000F84D with B@@F000F84D, assuming that the 
node name is indeed "B AT F000F84D".  The `@' character is special in 
Texinfo, and if you need to use it verbatim, you need to escape-protect 
it with another `@'.

- Raw text -