Re: [Axiom-developer] database fixes

[Gabriel Dos Reis]

Waldek Hebisch <address@hidden> writes:

| Below is a patch that fixes few problems with databases:
| 
| 1) If old database contained constructors or operations which
|    were removed from new database, Axiom kept using old data.
|    The patch cleans old data
| 
| 2) Patch adds ability to dump uncompressed databases (easier to
|    read): to get uncompressed format just set *do-not-compress-databases*
|    to t
| 
| 3) Patch improves formatting in showdatabase
| 
| 4) Patch omits separate loading of topic.o in make-databases (topic.o
|    is loaded anyway as part of the browser
| 
| 5) correction to comment describing database structure

This is looking very good.

My comments:

  (1) please, please, avoid *var*.  Use boot::var
  (2) please, please, document behaviour in the pamphlets; not just
      the code.

-- Gaby