Have you tried configuring a recent GNU Emacs to work like a normal
editor? (e.g. with C-c, C-v editing shortcuts etc.) This shouldn't be
difficult.

On Fri, Sep 26, 2008 at 1:30 PM, Andrej Bauer
<Andrej.Bauer@fmf.uni-lj.si> wrote:
> Once again I am teaching a course on theory of programming languages in
> which we will use ocaml to implement mini-languages. And once again I face
> the question: which programming environment should we use?
>
> I have so far tried to use (under Windows)
> 1. cygwin + ocaml + XEmacs
> 2. Eclipse + OcaIDE
>