sage-shell-mode
sage-shell-mode copied to clipboard
Process is not killed even if the associated buffer is killed (Sage 7.4)
See discussion in #12. See also https://groups.google.com/forum/#!topic/sage-devel/RgHiBrolE9g.