0518名無しさん@お腹いっぱい。垢版 | 大砲2018/11/28(水) 21:47:31.83 同じ拡張子が設定されているけれども中身は別の言語の時に、それぞれの言語に対応したモードに切り替える良い方法は無いでしょうか? Verilog用の設定をEmacsに書いた後に、新たにCoq用の設定を書こうとしてこの問題に遭遇しました VerilogもCoqもどちらも拡張子が .v なのでどうしたものかと悩んでいます .v拡張子を開く際と、.v拡張子の保存を行うタイミングでファイル内のコードのパターンを検出してモードを切り替えてみようかと考えています 何か良い方法があれば教えて頂きたいです