From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail
From: "Wilson Snyder" <wsnyder@wsnyder.org>
Newsgroups: gmane.emacs.devel
Subject: Re: [Emacs-diffs] master 6c8f4c4: .va/.vah/.sva/.svah now loads
 Verilog mode.
Date: Fri, 27 Sep 2019 12:03:25 -0400
Message-ID: <66d92eb5fde4b146a784e776d9d17247.squirrel@mail.wsnyder.org>
References: <20190927142537.13292.95176@vcs0.savannah.gnu.org>
 <20190927142539.6A2922068F@vcs0.savannah.gnu.org>
 <jwvblv5hgrr.fsf-monnier+emacs@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain;charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable
Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226";
	logging-data="65420"; mail-complaints-to="usenet@blaine.gmane.org"
User-Agent: SquirrelMail/1.4.23 [SVN]
Cc: emacs-devel@gnu.org
To: "Stefan Monnier" <monnier@iro.umontreal.ca>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Sep 27 18:43:52 2019
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.89)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1iDtLR-000Gqz-Vf
	for ged-emacs-devel@m.gmane.org; Fri, 27 Sep 2019 18:43:50 +0200
Original-Received: from localhost ([::1]:53512 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1iDtLQ-0001Ny-PN
	for ged-emacs-devel@m.gmane.org; Fri, 27 Sep 2019 12:43:48 -0400
Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:39055)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <wsnyder@wsnyder.org>) id 1iDsiO-0005jk-7A
 for emacs-devel@gnu.org; Fri, 27 Sep 2019 12:03:29 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <wsnyder@wsnyder.org>) id 1iDsiM-0006BR-Lz
 for emacs-devel@gnu.org; Fri, 27 Sep 2019 12:03:27 -0400
Original-Received: from wsnyder.org ([173.230.154.183]:47909)
 by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <wsnyder@wsnyder.org>) id 1iDsiM-00069P-GC
 for emacs-devel@gnu.org; Fri, 27 Sep 2019 12:03:26 -0400
Original-Received: by wsnyder.org (Postfix, from userid 33)
 id 415E02108D; Fri, 27 Sep 2019 16:03:25 +0000 (UTC)
In-Reply-To: <jwvblv5hgrr.fsf-monnier+emacs@gnu.org>
X-Priority: 3 (Normal)
Importance: Normal
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
 [fuzzy]
X-Received-From: 173.230.154.183
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Original-Sender: "Emacs-devel" <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Xref: news.gmane.org gmane.emacs.devel:240340
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/240340>


>> -     ("\\.[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