From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.bugs Subject: bug#10302: Some typos in web.texi documenation Date: Thu, 15 Dec 2011 15:19:19 +0100 Message-ID: <87ehw5vrx4.fsf@pobox.com> References: <871us6mpcr.fsf@netris.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1323958857 20098 80.91.229.12 (15 Dec 2011 14:20:57 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 15 Dec 2011 14:20:57 +0000 (UTC) Cc: jc zulian , 10302@debbugs.gnu.org To: Mark H Weaver Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Thu Dec 15 15:20:50 2011 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RbCB0-0004Ve-7J for guile-bugs@m.gmane.org; Thu, 15 Dec 2011 15:20:50 +0100 Original-Received: from localhost ([::1]:43447 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbCAz-0002AH-OH for guile-bugs@m.gmane.org; Thu, 15 Dec 2011 09:20:49 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:33884) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbCAo-00029t-GU for bug-guile@gnu.org; Thu, 15 Dec 2011 09:20:47 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RbCAj-0007rw-DW for bug-guile@gnu.org; Thu, 15 Dec 2011 09:20:38 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:38449) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbCAj-0007rs-8G for bug-guile@gnu.org; Thu, 15 Dec 2011 09:20:33 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1RbCCA-0001cd-Ao for bug-guile@gnu.org; Thu, 15 Dec 2011 09:22:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Andy Wingo Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-guile@gnu.org Resent-Date: Thu, 15 Dec 2011 14:22:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 10302 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 10302-submit@debbugs.gnu.org id=B10302.13239588656169 (code B ref 10302); Thu, 15 Dec 2011 14:22:02 +0000 Original-Received: (at 10302) by debbugs.gnu.org; 15 Dec 2011 14:21:05 +0000 Original-Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RbCBB-0001b7-0z for submit@debbugs.gnu.org; Thu, 15 Dec 2011 09:21:05 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([74.115.168.62] helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1RbCB4-0001av-8H for 10302@debbugs.gnu.org; Thu, 15 Dec 2011 09:20:59 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 181E28EB0; Thu, 15 Dec 2011 09:19:24 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=q0iqzrD+lW3N4OzRuzmVpu28WJw=; b=vNPY74 2WETmeYaVAydQA2fctqCONVOMw+Q1vj9Wsp6abiWaOZg0L2c+4QvC6xZCpLFOPLV LV3I5aa61pgFWBE6GuBxBx/jawiT808aqsgea5jAIHVpYvaUH5WstufmcvrkcBuo p1//xdvUwqfFBMigac0wALrqNuZ58VFjHlI2U= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=hEkWn+lj8+bt3kKYBJZCH4q2z/A1tCK8 FhQmioHVSr6gUlf7QkmUT5YtrTSQL2uCG8KsaQOn8vxt82hmwKHTaSpqfdZywyXW LA+DqUGEfklsrkyyQYYatwfWsDzV+/nFKOtyNfMcsMKcEu/6vDOugO5jIq1emCUg 0d8EVdpLu2c= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 106D48EAF; Thu, 15 Dec 2011 09:19:24 -0500 (EST) Original-Received: from badger (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 717988EAE; Thu, 15 Dec 2011 09:19:23 -0500 (EST) In-Reply-To: <871us6mpcr.fsf@netris.org> (Mark H. Weaver's message of "Wed, 14 Dec 2011 23:27:16 -0500") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) X-Pobox-Relay-ID: C98713E2-2727-11E1-8E25-65B1DE995924-02397024!a-pb-sasl-sd.pobox.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Thu, 15 Dec 2011 09:22:02 -0500 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:5977 Archived-At: Thanks for the follow-up, Mark. On Thu 15 Dec 2011 05:27, Mark H Weaver writes: > jc zulian writes: >> While reading the documentation I came across some typos. Please find >> attached a patch to correct those (I hope the patch format is >> alright). > > Actually those are not typos. In mathematics, "iff" is widely > understand to mean "if and only if". > > I guess this brings up a good point though: We should not assume that > readers of the Guile manual are familiar with this terminology. Indeed, the intro notes this: http://www.gnu.org/software/guile/manual/html_node/Typographical-Conventions.html > I'm leaving this bug open as a reminder that occurrences of "iff" should > probably be changed to something else. I wonder, it might be the right thing just to change them all to "if". WDYT? Andy -- http://wingolog.org/