OCaIDE

This eclipse plugin is getting better all the time. It has the additional advantage over Emacs of having built-in support for the batch compilation system, ocamlc, and when using the batch compiler there is even a debugger available. (note, I could not get the debugger to work; please let me know if the debugger works for you). The OCaIDE homepage contains all the information to install it; help is available within Eclipse on how to use it.

Tips

Generally in the course materials we are assuming you are using emacs; here are a few tips and tricks for usig OCaIDE instead. These assume you have already installed OCaIDE.