Re: [open-axiom-devel] Replacing Domain by Type

2009-12-04 Thread Gabriel Dos Reis
Bill Page writes: | > Bill Page writes: | > | > | On Thu, Dec 3, 2009 at 9:12 PM, Waldek Hebisch wrote: | > | > I just commited a patch which replaces uses of 'Domain' in interpreter | > | > by 'Type'.  Similarely, it replaces uses of 'Subdomain(Domain)' | > | > by 'Category'.  This makes interp

Re: [open-axiom-devel] Replacing Domain by Type

2009-12-04 Thread Bill Page
> Bill Page writes: > > | On Thu, Dec 3, 2009 at 9:12 PM, Waldek Hebisch wrote: > | > I just commited a patch which replaces uses of 'Domain' in interpreter > | > by 'Type'.  Similarely, it replaces uses of 'Subdomain(Domain)' > | > by 'Category'.  This makes interpreter and compiler more consiste

[open-axiom-devel] Replacing Domain by Type

2009-12-04 Thread Gabriel Dos Reis
Bill Page writes: | On Thu, Dec 3, 2009 at 9:12 PM, Waldek Hebisch wrote: | > I just commited a patch which replaces uses of 'Domain' in interpreter | > by 'Type'.  Similarely, it replaces uses of 'Subdomain(Domain)' | > by 'Category'.  This makes interpreter and compiler more consistent. | > Add