評価 ▶ デバッガの制御 ▶ 終了

終了

デバッガがすべてのブレークポイントを無視して，すべての評価を終了するようにする．