Я пытаюсь использовать coq с ProofGeneral, но встроенный режим Verilog скрывает *.vраспознавание типов файлов. Могу ли я каким-то образом отключить его и позволить ProofGeneral переназначить их в режим coq?
*.v