diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-10 15:53:24 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-10 15:53:24 +0000 |
commit | a1bb5cce1d72ad7b20b2aa873fb08b372fc1fe45 (patch) | |
tree | c2b9d9aa151513014dbcb83b37fe799f90aee308 /src/doc/ps/h-condition.ps | |
parent | e72ded0c7d7fdf5da10fe57f806fde5314cf79c5 (diff) | |
download | open-axiom-a1bb5cce1d72ad7b20b2aa873fb08b372fc1fe45.tar.gz |
* interp/database.boot (addConsDB): Move from mapConsDB.
* interp/nruncomp.boot (mapConsDB): Remove.
(catList2catPackageList): Likewise.
Diffstat (limited to 'src/doc/ps/h-condition.ps')
0 files changed, 0 insertions, 0 deletions