Ralf Hemmecke <[EMAIL PROTECTED]> writes: [...]
| In OpenAxiom: | Every domain has type 'Domain'. Fine. | Every category has type 'Category'. Fine. | But also every category has type 'Domain'. That is not so nice. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ I don't know how that come to be -- if true, it is a surprise to me. -- 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