недавно я начал получать странные сообщения об ошибках и предупреждениях и не знаю, что с ними...

Я хочу раскрасить какую-то конкретную команду и тактику в другой цвет, например, я хочу, чтобы...

Я пытаюсь использовать coq с ProofGeneral, но встроенный режим Verilog затеняет *.v распознавание...