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

[Gabriel D. R. <gd...@in...>]

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 scratch.  A practical consequence is that it is now easier to
rename a constructor or alter the signature of an operation without the
painful multi-step dance of database rebuilds.

Worth nothing: a regular build isn't that much longer either.

-- Gaby