Re: axiom mode

[martin rudalics]

> * write clean initalisation code.  In particular, it should be possible to 
have
>   several buffers with different axiom processes, just like in shell mode.  I
>   looked at shell.el, but fail to understand it.

In `axiom-run' make `axiom-process' buffer local

(set (make-local-variable 'axiom-process)
     (get-buffer-process (current-buffer)))

This will render `axiom-buffer' meaningless.  Hence, in `axiom' you have
to always make a new process and in `axiom-mode-new-axiom-process' you
should remove things like

    (delete-process axiom-process)
    (kill-buffer (axiom-buffer))

BTW after killing `axiom-process' which buffer is `axiom-buffer'
supposed to return?  Do you really always want to kill the current
buffer here?