* Re: [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads Verilog mode.
[not found] ` <20190927142539.6A2922068F@vcs0.savannah.gnu.org>
@ 2019-09-27 16:00 ` Stefan Monnier
2019-09-27 16:03 ` Wilson Snyder
2019-09-27 16:37 ` Kaushal Modi
0 siblings, 2 replies; 4+ messages in thread
From: Stefan Monnier @ 2019-09-27 16:00 UTC (permalink / raw)
To: emacs-devel; +Cc: Wilson Snyder
> - ("\\.[ds]?vh?\\'" . verilog-mode)
> + ("\\.[ds]?va?h?\\'" . verilog-mode)
BTW, .v is the standard extension used for Coq source files.
Is it also commonly used for Verilog files?
Stefan
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads Verilog mode.
2019-09-27 16:00 ` [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads Verilog mode Stefan Monnier
@ 2019-09-27 16:03 ` Wilson Snyder
2019-09-27 21:24 ` Stefan Monnier
2019-09-27 16:37 ` Kaushal Modi
1 sibling, 1 reply; 4+ messages in thread
From: Wilson Snyder @ 2019-09-27 16:03 UTC (permalink / raw)
To: Stefan Monnier; +Cc: emacs-devel
>> - ("\\.[ds]?vh?\\'" . verilog-mode)
>> + ("\\.[ds]?va?h?\\'" . verilog-mode)
>
> BTW, .v is the standard extension used for Coq source files.
> Is it also commonly used for Verilog files?
Yes, .v is the most commonly used extension for Verilog. Note .v isn't
changed, it was Verilog previously. The new extensions supported (.va etc)
were not mapped to other packages.
-Wilson
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads Verilog mode.
2019-09-27 16:00 ` [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads Verilog mode Stefan Monnier
2019-09-27 16:03 ` Wilson Snyder
@ 2019-09-27 16:37 ` Kaushal Modi
1 sibling, 0 replies; 4+ messages in thread
From: Kaushal Modi @ 2019-09-27 16:37 UTC (permalink / raw)
To: Stefan Monnier; +Cc: Wilson Snyder, Emacs developers
[-- Attachment #1: Type: text/plain, Size: 382 bytes --]
On Fri, Sep 27, 2019 at 12:32 PM Stefan Monnier <monnier@iro.umontreal.ca>
wrote:
> > - ("\\.[ds]?vh?\\'" . verilog-mode)
> > + ("\\.[ds]?va?h?\\'" . verilog-mode)
>
> BTW, .v is the standard extension used for Coq source files.
> Is it also commonly used for Verilog files?
>
Yes!
.v is the most common for Verilog files.
.sv is the most common for SystemVerilog files.
[-- Attachment #2: Type: text/html, Size: 774 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads Verilog mode.
2019-09-27 16:03 ` Wilson Snyder
@ 2019-09-27 21:24 ` Stefan Monnier
0 siblings, 0 replies; 4+ messages in thread
From: Stefan Monnier @ 2019-09-27 21:24 UTC (permalink / raw)
To: Wilson Snyder; +Cc: emacs-devel
>>> - ("\\.[ds]?vh?\\'" . verilog-mode)
>>> + ("\\.[ds]?va?h?\\'" . verilog-mode)
>> BTW, .v is the standard extension used for Coq source files.
>> Is it also commonly used for Verilog files?
> Yes, .v is the most commonly used extension for Verilog.
Damn!
> Note .v isn't changed, it was Verilog previously.
Yes, I saw that, but I didn't know how important it was (hence the
question).
Thank you,
Stefan
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2019-09-27 21:24 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <20190927142537.13292.95176@vcs0.savannah.gnu.org>
[not found] ` <20190927142539.6A2922068F@vcs0.savannah.gnu.org>
2019-09-27 16:00 ` [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads Verilog mode Stefan Monnier
2019-09-27 16:03 ` Wilson Snyder
2019-09-27 21:24 ` Stefan Monnier
2019-09-27 16:37 ` Kaushal Modi
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).