[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Texmacs-dev] Top Align Patch

From: Joris van der Hoeven
Subject: Re: [Texmacs-dev] Top Align Patch
Date: Thu, 30 May 2002 16:15:20 +0200 (MET DST)

On 30 May 2002, Alexander Isacson wrote:

> Hi all.
> I have found a bug in the menu and have, with a little help from
> Shokarrist, managed to produce a patch for the problem.
> Have a nice day.

Thanks for the patch. It will be included soon in the main distribution.

Joris van der Hoeven <address@hidden>
http://www.texmacs.org: GNU TeXmacs scientific text editor
http://www.math.u-psud.fr/~vdhoeven: personal homepage

reply via email to

[Prev in Thread] Current Thread [Next in Thread]