From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: martin rudalics Newsgroups: gmane.emacs.devel Subject: Re: Windows' "split status" Date: Wed, 23 Nov 2011 20:21:30 +0100 Message-ID: <4ECD47BA.7020509@gmx.at> References: <87vcqqoekt.fsf@gnu.org> <4EBD6B63.4050607@gmx.at> <87vcqq6utg.fsf@gnu.org> <4EBE4414.10009@gmx.at> <87d3cwr9hc.fsf@gnu.org> <4EBFA0AF.7000608@gmx.at> <87obwgatpy.fsf@gnu.org> <4EBFFBA5.1000309@gmx.at> <87hb26gdx8.fsf@gnu.org> <4EC213EA.4080304@gmx.at> <871ut9n2rr.fsf@gnu.org> <4EC2821C.4020400@gmx.at> <87sjlfxbg1.fsf@spindle.srvr.nix> <4ECCFFF7.1030702@gmx.at> <83ehwyagdw.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1322076108 18601 80.91.229.12 (23 Nov 2011 19:21:48 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 23 Nov 2011 19:21:48 +0000 (UTC) Cc: nix@esperi.org.uk, cyd@gnu.org, monnier@iro.umontreal.ca, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Nov 23 20:21:41 2011 Return-path: Envelope-to: ged-emacs-devel@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 1RTIO1-0007Zz-Am for ged-emacs-devel@m.gmane.org; Wed, 23 Nov 2011 20:21:37 +0100 Original-Received: from localhost ([::1]:59064 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTIO0-0007PF-Sb for ged-emacs-devel@m.gmane.org; Wed, 23 Nov 2011 14:21:36 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:52875) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RTINy-0007P6-TR for emacs-devel@gnu.org; Wed, 23 Nov 2011 14:21:35 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RTINy-0007cN-4d for emacs-devel@gnu.org; Wed, 23 Nov 2011 14:21:34 -0500 Original-Received: from mailout-de.gmx.net ([213.165.64.23]:37863) by eggs.gnu.org with smtp (Exim 4.71) (envelope-from ) id 1RTINx-0007cA-M8 for emacs-devel@gnu.org; Wed, 23 Nov 2011 14:21:34 -0500 Original-Received: (qmail invoked by alias); 23 Nov 2011 19:21:32 -0000 Original-Received: from 62-47-46-144.adsl.highway.telekom.at (EHLO [62.47.46.144]) [62.47.46.144] by mail.gmx.net (mp049) with SMTP; 23 Nov 2011 20:21:32 +0100 X-Authenticated: #14592706 X-Provags-ID: V01U2FsdGVkX1+htbAKy++hJc/gh1m2maWGivtRrU8KabCNCSMrwd gY1MqgxZOJTp97 User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) In-Reply-To: <83ehwyagdw.fsf@gnu.org> X-Y-GMX-Trusted: 0 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 213.165.64.23 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:146182 Archived-At: >> The term "always" has very contrived semantics > > Try "at all times" instead. "always" means for me "in the initial state and in all states reachable from the initial state" where transitions between states are considerd atomic. I don't know what "times" in "at all times" refers to: Real time, time measured by the system clock? How avoid that these get me an intermediate state where a consequent doesn't hold? martin