The source files for the CHOOSE editor