I've fixed a bug where an unexpected EOF in the command stream caused Agda to loop. That's a really exotic bug, so far only manifest when one run emacsagda binary with input redirected from a file, so the main reason to fix it was that it occurred in the Agda test suite (which, as a side effect, now takes much less time to run) Marcin