david-christiansen/idris-mode — pull request #2 by hannesm (2013-03-23 14:55:59+00:00)
Title: worked on load-file... some key bindings and initial cleanup of process interaction

namely use make-comint instead of "start-process", and detect when we have a shell (btw, the regular expression for this is broken, but I won't fix that, rather move on towards new exchange protocol)

this needs the latest pull request for idris-dev I submitted some minutes ago (which implements change-directory)