From: Bruno H. <ha...@il...> - 2003-02-24 21:59:42
|
Sam writes: > SPACE is a CLISP extension (see <http://clisp.cons.org/impnotes.html#space>). > What do we do with this? I'm in favour of renaming it to ext:space. Like you did with ext:quit. If you update the impnotes to refer to ext:space everywhere, even beginners will have no problem with it. Just like they are used to (ext:quit). Bruno |