mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Thu, Oct 03, 2002 at 08:17:24PM +0200, Jan David Mol wrote:
> i had that problem in 1.0.0.16 with the big symbols on the toolbar..
> i'm using 1.0.0.17 now and it all seems to work for me.

Thanks a lot!

Since Joris changelog did let me think he may have fixed the bug, I
have (wrongly) assumed it would show up in 1.0.0.17. But it did not
:-)

I *can* reproduce the bug with 1.0.0.16, yet not with 1.0.0.17.

So users have their quick fix, just upgrade to the latest release, and
I have my reproducible bug, so I will try to track down the problem.

-- 
David Allouche            |  GNU TeXmacs -- Writing is a pleasure
Free software engineer    |    Home page -- http://www.texmacs.org
    http://ddaa.net       |    Resources -- http://alqua.com/tmresources
    address@hidden    |    Dev's IRC -- #texmacs irc.openprojects.net
GNU TeXmacs developper    |        TeXmacs is NOT a LaTeX front-end
    address@hidden  |        and is unrelated to emacs.