[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] notin
From: |
Joris van der Hoeven |
Subject: |
Re: [Texmacs-dev] notin |
Date: |
Sat, 26 Nov 2005 18:08:44 +0100 |
User-agent: |
Mutt/1.5.9i |
On Thu, Nov 24, 2005 at 08:37:01AM -0800, address@hidden wrote:
> A patch is included at the end that fixes this. This
> includes the patch I previously submitted for
> nmid, rtimes and ltimes, but not the other broken
> amssymb symbols I found. See:
Thanks, patch applied.