同じ拡張子が設定されているけれども中身は別の言語の時に、それぞれの言語に対応したモードに切り替える良い方法は無いでしょうか?
Verilog用の設定をEmacsに書いた後に、新たにCoq用の設定を書こうとしてこの問題に遭遇しました
VerilogもCoqもどちらも拡張子が .v なのでどうしたものかと悩んでいます

.v拡張子を開く際と、.v拡張子の保存を行うタイミングでファイル内のコードのパターンを検出してモードを切り替えてみようかと考えています
何か良い方法があれば教えて頂きたいです