Я не могу заставить ярлык «Вперед» работать на моем MacBook.
В соответствии с IDE это должно быть «control + down», но это ничего не делает.
Сделалкто-то еще имеет эту проблему, используя coqide на Mac?
Спасибо.