Links to misc IDE work:

• Design Notes
• Editor Notes
• Key Bindings Comparison
• Proposal for Hemlock font API
  • Implementation notes

• Hemlock Command Implementor's Manual