Improved syntax coloring, smarter incremental treatment of strings and comments
Smart automatic completion for types, idents and so on...
The main TypeRex menu (also providing the most useful Tuareg commands)
Contextual menu with all TypeRex actions
Immediate access to identifiers' comments and detailed typing information
Powerful "semantic grep" feature for all OCaml identifiers
Consistent, global renaming of identifiers, correct w.r.t. scopes and the module system...
Consistent, safe undoing of multiple-files modifications
Supports module packing with very little configuration (expperimental)