[Agda] interactive mode

[Remi Turk]

On Mon, Jun 09, 2008 at 10:16:05AM +0200, Andres Loeh wrote:
[...]
> > > Why will it no longer be supported?
> > 
> > Presumably because it had few users, the Emacs mode has more features,
> > and we have limited man-power.

Just in case the Vim users are merely a silent majority:
I was quite happy with --interactive too, and had a nightmare
tonight about having to learn to use Emacs ;o)

Groeten, Remi