On Tue, Jul 8, 2008 at 5:26 PM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> Somehow I now have the impression that Aldor-Type and OpenAxiom-Type are > different. That "Type" is a category in OpenAxiom would have never come > to my mind in Aldor. Notice that, as far as I can determine, Type is a category is all current AXIOM systems. -- Gaby ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
