|
|
last edited 16 years ago by gdr |
1 2 3 4 5 6 | ||
Editor: gdr
Time: 2008/05/18 13:36:04 GMT-7 |
||
Note: |
added:
From gdr Sun May 18 13:36:04 -0700 2008
From: gdr
Date: Sun, 18 May 2008 13:36:04 -0700
Subject:
Message-ID: <20080518133604-0700@axiom-wiki.newsynthesis.org>
Status: fix proposed => fixed somewhere
no patch available
)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