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