mule (エディター)（利用の手引 8.5）

プログラムや、文書作成に使うツールがエディターである。 フリーソフトである mule を使う。文字列のカット ＆ ペーストなど、エディター の機能を有効に使うと作業能率が大幅に向上する。