Intype – Ein schneller und flexibler Editor für Programmierer khk 8. April 2012 Intype – Ein schneller und flexibler Editor für Programmierer