0
ответов
Невозможно предоставить длинные (1024+ символа )входные данные для верхнего уровня OCaml и coqtop (и Proof General)
Редактировать 4 :Оказывается, это просто ограничение ввода TTY в целом; в OCaml, Coq или Emacs нет ничего конкретного, что вызывает проблему. Я работаю над программой Coq...
вопрос задан: 23 May 2017 10:29
0
ответов
Как отключить режим Verilog в emacs?
Я пытаюсь использовать coq с ProofGeneral, но встроенный режим Verilog скрывает распознавание файлов *.v. Могу ли я каким-то образом отключить его и позволить ProofGeneral переназначить их в режим coq?
вопрос задан: 9 August 2014 13:08
0
ответов
Символы Unicode для ключевых слов и операторов в Coq/Proof General в Emacs
Этот вопрос связан с настройкой режима Coq в Proof General в Emacs. Я пытаюсь заставить Emacs автоматически заменять ключевые слова и обозначения в Coq соответствующими глифами Unicode....
вопрос задан: 9 August 2014 02:08