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

Reply via email to