diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-24 02:53:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-24 02:53:25 +0000 |
| commit | 5b693510bb2368f453b71086fcd1916cee7fea82 (patch) | |
| tree | 15f3680440bfa6293ceaa341cd73116bffc768d3 /config/open-axiom.m4 | |
| parent | 81dc2af2e2cab54deda566b72949d3d58ee532bf (diff) | |
| download | open-axiom-5b693510bb2368f453b71086fcd1916cee7fea82.tar.gz | |
* interp/i-output.boot ($RecordSeparator): New.
(maprin): Use it. Separate record in lean mode.
* interp/sys-globals.boot ($leanMode): Define.
* interp/sys-driver.boot (systemMain): Initialize.
* interp/ht-util.boot (executeInterpreterCommand): Print prompt
only in non-lean mode.
* interp/int-top.boot (SpadInterpretStream): Likewise.
(intloopReadConsole): Likewise.
* interp/metalex.lisp (get-a-line): Likewise.
* interp/server.boot: Likewise.
Diffstat (limited to 'config/open-axiom.m4')
0 files changed, 0 insertions, 0 deletions