Re: [open-axiom-devel] Use of databases during algebra build

2016-01-16 Thread Bill Page
On 16 January 2016 at 16:55, Gabriel Dos Reis wrote: > The commit > > https://github.com/GabrielDosReis/open-axiom/commit/b2eb2e7744d9947f6b5cf61c917014d9d5a4da7d > > removes the need for all databases, except category.daase, during the build > of the system algebra. > Concretely, this means that

[open-axiom-devel] Use of databases during algebra build

2016-01-16 Thread Gabriel Dos Reis
The commit https://github.com/GabrielDosReis/open-axiom/commit/b2eb2e7744d9947f6b5cf61c917014d9d5a4da7d removes the need for all databases, except category.daase, during the build of the system algebra. Concretely, this means that a regular build of OpenAxiom builds the entire algebra from scrat