RE: [Techspec] Validation of formal languages
"Stephen Hayes (TX/EUS)" <stephen.hayes@ericsson.com> Thu, 25 May 2006 04:38 UTC
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1Fj7cG-0007N0-Dv; Thu, 25 May 2006 00:38:32 -0400
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1Fj7cF-0007Mg-OF for techspec@ietf.org; Thu, 25 May 2006 00:38:31 -0400
Received: from imr2.ericy.com ([198.24.6.3]) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1Fj7cE-0004hD-DN for techspec@ietf.org; Thu, 25 May 2006 00:38:31 -0400
Received: from eamrcnt760.exu.ericsson.se (eamrcnt760.exu.ericsson.se [138.85.133.38]) by imr2.ericy.com (8.13.1/8.13.1) with ESMTP id k4P4nkJG026074; Wed, 24 May 2006 23:49:46 -0500
Received: by eamrcnt760 with Internet Mail Service (5.5.2657.72) id <LB9HW06P>; Wed, 24 May 2006 23:38:29 -0500
Message-ID: <4DCBC973AF0D6E4FAF9CD998CE1C003802DE2638@eusrcmw720.eamcs.ericsson.se>
From: "Stephen Hayes (TX/EUS)" <stephen.hayes@ericsson.com>
To: Paul Hoffman <paul.hoffman@vpnc.org>, techspec@ietf.org
Subject: RE: [Techspec] Validation of formal languages
Date: Wed, 24 May 2006 23:38:22 -0500
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2657.72)
Content-Type: text/plain; charset="iso-8859-1"
X-Spam-Score: 0.0 (/)
X-Scan-Signature: bb8f917bb6b8da28fc948aeffb74aa17
Cc:
X-BeenThere: techspec@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "Discussion list for IETF Technical Specifications \(BOF at IETF64\)" <techspec.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/techspec>, <mailto:techspec-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/techspec>
List-Post: <mailto:techspec@ietf.org>
List-Help: <mailto:techspec-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/techspec>, <mailto:techspec-request@ietf.org?subject=subscribe>
Errors-To: techspec-bounces@ietf.org
See inline > -----Original Message----- > From: Paul Hoffman [mailto:paul.hoffman@vpnc.org] > Sent: Wednesday, May 24, 2006 1:37 PM > To: techspec@ietf.org > Subject: [Techspec] Validation of formal languages > > > Section 3.5 that seems out of place in that it is the only part of > this document that says "the IETF technical publisher will review > this part of documents for technical correctness". It makes sense to > say "if automated tools are available to check formal languages, the > IETF technical publisher should run the tools late in the editing > process", but not to make it seem like that validation is the job of > the technical publisher. I agree. It was intended to refer to validation using tools. > > This section might also add a requirement that the IETF technical > publisher should not change any examples (changing words, > reformatting with line breaks, and so on) without explicitly alerting > the document authors. Some formal languages are quite sensitive to > byte counts and line breaks. In general, I think the publisher should work with the authors for any changes required to formal language sections. > > --Paul Hoffman, Director > --VPN Consortium > > _______________________________________________ > Techspec mailing list > Techspec@ietf.org > https://www1.ietf.org/mailman/listinfo/techspec > _______________________________________________ Techspec mailing list Techspec@ietf.org https://www1.ietf.org/mailman/listinfo/techspec
- [Techspec] Validation of formal languages Paul Hoffman
- RE: [Techspec] Validation of formal languages Stephen Hayes (TX/EUS)
- RE: [Techspec] Validation of formal languages Paul Hoffman