|
|
last edited 16 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