diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-07-07 09:59:01 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-07-07 09:59:01 +0000 |
| commit | 6ad13dc149389966b6cb15fc93d033a84360e5b7 (patch) | |
| tree | 79370d3236f0d5da07b4692ea3eed7e4fa6f8479 /src/algebra/tableau.spad.pamphlet | |
| parent | 49fd743cdd366cecf656e6c75c648e3db8a9590f (diff) | |
| download | open-axiom-6ad13dc149389966b6cb15fc93d033a84360e5b7.tar.gz | |
* gui/debate.cc (start_interpreter): Do not forget core command
line options. Separate them from options to the base Lisp runtime
system.
Diffstat (limited to 'src/algebra/tableau.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions