diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
commit | 6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64 (patch) | |
tree | ecd96105b5ee50cf5e81dfe1eb506797730e2955 /src/doc/ps/h-origins.ps | |
parent | 78dd44d657fa65a8029d996aaf7ac05d2133f509 (diff) | |
download | open-axiom-6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64.tar.gz |
* interp/compiler.boot (compGreaterThan): Remove.
* interp/parse.boot (parseGreaterEqual): Likewise.
Diffstat (limited to 'src/doc/ps/h-origins.ps')
0 files changed, 0 insertions, 0 deletions