Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

Re: Motion to finalise interval literals

To: stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
Subject: Re: Motion to finalise interval literals
From: Michel Hack <mhack@xxxxxxx>
Date: Mon, 10 Jun 2013 17:15:02 -0400
Delivered-to: mhonarc@xxxxxxxxxxxxxxxx
In-reply-to: <OFFA55A006.F65F3E39-ON85257B86.0063527A-85257B86.0067ECAE@ca.ibm.com>
List-help: <https://listserv.ieee.org/cgi-bin/wa?LIST=STDS-1788>, <mailto:LISTSERV@LISTSERV.IEEE.ORG?body=INFO%20STDS-1788>
List-owner: <mailto:STDS-1788-request@LISTSERV.IEEE.ORG>
List-subscribe: <mailto:STDS-1788-subscribe-request@LISTSERV.IEEE.ORG>
List-unsubscribe: <mailto:STDS-1788-unsubscribe-request@LISTSERV.IEEE.ORG>
References: <51B5073D.4090702@eecs.berkeley.edu> <51B4A1FF.4010100@informatik.uni-wuerzburg.de> <D5E1AA0F-C22F-494A-B9CA-D96DE9E87068@cantab.net> <51B3CBE6.2020604@eecs.berkeley.edu> <EE4619AE-3C68-47FD-98E7-F21F600C152C@cantab.net> <51B2201D.8000401@informatik.uni-wuerzburg.de> <1A74BFFC-F91C-4541-8729-474552A56BEA@cantab.net> <OFFA55A006.F65F3E39-ON85257B86.0063527A-85257B86.0067ECAE@ca.ibm.com>
Sender: stds-1788@xxxxxxxx

Typo in Ian's note:
> and "0.100000" meaning [0.0000005, 0.1000005].  The first is useful for
*                         0.0999995
---Sent: 2013-06-10 21:16:52 UTC

References:
- Re: Motion to finalise interval literals
  - From: Richard Fateman
- Re: Motion to finalise interval literals
  - From: Jürgen Wolff von Gudenberg
- Re: Motion to finalise interval literals
  - From: John Pryce
- Re: Motion to finalise interval literals
  - From: Richard Fateman
- Re: Motion to finalise interval literals
  - From: John Pryce
- Re: Motion to finalise interval literals
  - From: Jürgen Wolff von Gudenberg
- Motion to finalise interval literals
  - From: John Pryce
- Re: Motion to finalise interval literals
  - From: Ian McIntosh

Prev by Date: Re: Motion to finalise interval literals
Next by Date: The new motion
Previous by thread: Re: Motion to finalise interval literals
Next by thread: Re: Motion to finalise interval literals
Index(es):
- Date
- Thread