@dabeaz I just use a text editor and a makefile