An Integrated Development Environemtn (IDE) that can be used from novices in HOL to experts in the field.
Features:
- Auto-complete
- Holmake quick commands
- Interactive HOL dock
- Interactive debugger
- Project Directory listing
- AUto-documentation generator
- Documentation helper