Date: Sun, 21 Jun 1998 15:24:45 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Ruiter de M <mdruiter AT cs DOT vu DOT nl>, djgpp AT delorie DOT com
Subject: Re: Int2TeX v1.00 was released
In-Reply-To: <Pine.SUN.3.91.980621144726.5335c-100000@is>
Message-ID: <Pine.SUN.3.91.980621152217.5878A-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On Sun, 21 Jun 1998, I wrote:

> On 17 Jun 1998, Ruiter de M wrote:
> 
> > I also noticed a similar problem with double quotes (```' and `'''
> > should be `"') in making the libc.inf-file.
> 
> This problem exists in Texinfo 3.9 as well.

Sorry, I was wrong.  This problem does NOT exist in 3.9.  It appeared in 
3.12 because of the same bug that prevented @@foo from working, and the 
fixed version I'm testing now fixed the problem with "``" and "''" as 
well.