diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-27 00:57:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-27 00:57:26 +0000 |
commit | e8ca9eab6dee408a68683147e9df2f0c81c4354e (patch) | |
tree | ff2edb143d41d09c3a5d57ac5485c3039368dea0 /src/ChangeLog.2008 | |
parent | df02d2410007b60d0ee057da174552847c0005f0 (diff) | |
download | open-axiom-e8ca9eab6dee408a68683147e9df2f0c81c4354e.tar.gz |
* interp/g-opt.boot (optCond): Recognize conjunction and
disjunction forms.
Diffstat (limited to 'src/ChangeLog.2008')
0 files changed, 0 insertions, 0 deletions