[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] define*
From: |
david |
Subject: |
[Texmacs-dev] define* |
Date: |
Mon, 24 Feb 2003 15:30:43 +0100 |
User-agent: |
Mutt/1.4i |
On Thu, Feb 20, 2003 at 05:53:17PM +0100, Joris van der Hoeven wrote:
> 1123: Rejected
> The name 'define*' is already in use.
Where is it used?
I could not find such a name anywhere.
--
David Allouche | GNU TeXmacs -- Writing is a pleasure
Free software engineer | http://www.texmacs.org
http://ddaa.net | http://alqua.com/tmresources
address@hidden | address@hidden
TeXmacs is NOT a LaTeX front-end and is unrelated to emacs.