User Manual

1. Principles
2. Commands
   • Completion
   • Compile
   • Locate
   • Refactor
3. Output Formats
   • Completion
   • Locate
   • Refactor
4. Integration into IDEs
   • Local Configuration (.ocamlwizard)
   • Makefile
   • Emacs
   • Eclipse
5. Known Limitations