|
|
|
last edited 17 years ago by gdr |
| 1 2 3 4 5 6 | ||
|
Editor: japp
Time: 2008/10/16 13:46:34 GMT-7 |
||
| Note: | ||
added:
From japp Thu Oct 16 13:46:34 -0700 2008
From: japp
Date: Thu, 16 Oct 2008 13:46:34 -0700
Subject:
Message-ID: <20081016134634-0700@axiom-wiki.newsynthesis.org>
Status: fixed somewhere => fix proposed
)di abb INT
INT is neither a constructor name nor a constructor abbreviation.
should give Integer, or at least a correct error message (for example: INT is not a constructor name).
)di abb Integer
INT abbreviates domain Integer
gives the abbreviation INT, but sometimes I'd like to go the other way.
Martin
no patch available