|
|
last edited 16 years ago by gdr |
1 2 3 4 5 6 | ||
Editor: gdr
Time: 2008/10/17 09:41:28 GMT-7 |
||
Note: Fixed in OpenAxiom |
added:
From gdr Fri Oct 17 09:41:28 -0700 2008
From: gdr
Date: Fri, 17 Oct 2008 09:41:28 -0700
Subject: Fixed in OpenAxiom
Message-ID: <20081017094128-0700@axiom-wiki.newsynthesis.org>
(1) -> )di abb INT
INT abbreviates domain Integer
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
http://fricas.svn.sourceforge.net/viewvc/fricas/trunk/src/interp/i-syscmd.boot?r1=133&r2=188&view=patch Status: fixed somewhere => fix proposed