Я тестировал библиотеку тактик AAC для перезаписи по модулю ассоциативности и коммутативности. Согласно веб-сайту Coq , кто-то должен: В зависимости от вашей установки либо измените следующие две строки, либо добавьте их в файлы .coqrc,...

Я хочу раскрасить определенную команду и тактику в другой цвет, например. Я хочу, чтобы команды «Печать» и «Найти» были серыми, а «индукция» - каким-то особым цветом, отличным от других тактик. Возможно ли это в ProofGeneral? Если это не...