From: jayessay <nospam@foo.com>
Subject: Re: ADA Popularity Discussion Request
Date: 08 Sep 2004 15:46:53 -0400
Date: 2004-09-08T15:46:53-04:00 [thread overview]
Message-ID: <m3acw0bl1u.fsf@rigel.goldenthreadtech.com> (raw)
In-Reply-To: chmnjf$dg6$1@a1-hrz.uni-duisburg.de
Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> writes:
> jayessay <nospam@foo.com> wrote:
> : Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> writes:
>
> :> Sure it is insufficient. But it adds value by removing the need to
> :> test what the compiler has already found out. How about typos?
> :
> : True. But since this is determined anyway as part of incremental
> : development it doesn't actually save anything in practice. Typos are
> : a good example.
> :
> :
> :> Here is a fake:
> :>
> :> (defun next (n) (1 + n))
> :> (defun hext (n) (1 + (mod n 16)))
> :
> : Let's see this in practice:
>
> [lengthy testing snipped]
>
> Do you see what I mean? ;-) ;-) ;-) Wouldn't have happend with
> proper typing and static type checks, see below.
I never said types here would not have caught the "advance" error. I
simply state that the dynamic version was as efficacious at catching
that error and also caught the logic error in hext at the same time.
> : What you are saying is, range types (as in Ada) could have caught
> : this. True, but they would not have caught it quicker (or even as
> : quick) as this did.
>
> No, I'm saying that this error can occur in an executing piece
> of program if and only if the compiler allows me to mix
> operations of an integer type and operations a modular type
> without notice.
OK, that is a better way than simple ranges. But it doesn't change
the point, see below.
> Things like this don't happen if you get the types right at
> compiletime.
Yes, and they don't happen at runtime if pre and post are checked
during incremental development. If you don't do this, then you will
likely have problems - just like if you don't get the types right in
static languages.
> Similarly, physical units can be checked at compile time using C++
> templates. Is there a set of Lisp macros that guarantees unit safe
> computations before a program runs?
Yes this has been done. From what I've seen it is a very nice system.
Where it can't make the determination at compile time it generates
code for the checks and conversions at runtime.
> : Also, they wouldn't have caught the error in hext
> : until you ran it anyway.
>
> Not true as explained above.
Your explanation above does not cover the logic error. I don't see
right off how modular types catch that.
with Text_Io; use Text_Io;
procedure Foo is
type Hex_Num is mod 16;
function Hext (N : Integer) return Hex_Num is
begin
-- == (1+ (n mod 16)), which is the logic error.
return Hex_Num(1 + (N mod Hex_Num'Modulus));
end Hext;
begin
for I in 0..20 loop
Put_Line("Answer is: " & Hex_Num'Image(Hext(i)));
end loop;
end;
$ gnatmake hext.adb
==>
gcc -c hext.adb
hext.adb:3:11: warning: file name does not match unit name, should be "foo.adb"
gnatbind -x hext.ali
gnatlink hext.ali
[Yeah, I know the file name is bogus, but there are no errors or warnings
about the error, not surprising since you can't know there is a bomb here
at compile time]
$ ./hext
Answer is: 1
Answer is: 2
Answer is: 3
Answer is: 4
Answer is: 5
Answer is: 6
Answer is: 7
Answer is: 8
Answer is: 9
Answer is: 10
Answer is: 11
Answer is: 12
Answer is: 13
Answer is: 14
Answer is: 15
raised CONSTRAINT_ERROR : hext.adb:9
$
Same as the Lisp:
(deftype hex-num () `(mod 16))
(defun hext (n)
(check-type n integer)
(let ((result (1+ (mod n 16))))
(check-type result hex-num)
result))
==> hext
(dotimes (n 20)
(format t "~%(hext ~a) --> ~a" n (hext n)))
(hext 0) --> 1
(hext 1) --> 2
(hext 2) --> 3
(hext 3) --> 4
(hext 4) --> 5
(hext 5) --> 6
(hext 6) --> 7
(hext 7) --> 8
(hext 8) --> 9
(hext 9) --> 10
(hext 10) --> 11
(hext 11) --> 12
(hext 12) --> 13
(hext 13) --> 14
(hext 14) --> 15
Error: the value of RESULT is 16, which is not of type HEX-NUM.
[condition type: TYPE-ERROR]
Restart actions (select using :continue):
0: supply a new value for RESULT.
1: Return to Top Level (an "abort" restart).
2: Abort entirely from this process.
/Jon
--
'j' - a n t h o n y at romeo/charley/november com
next prev parent reply other threads:[~2004-09-08 19:46 UTC|newest]
Thread overview: 421+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-08-11 13:56 ADA Popularity Discussion Request Chris Humphries
2004-08-11 14:14 ` Hyman Rosen
2004-08-11 15:39 ` sk
2004-08-11 15:54 ` Marc A. Criley
2004-08-12 4:54 ` Larry Kilgallen
2004-08-13 2:29 ` Brian May
2004-08-13 5:27 ` Ada " Puckdropper
2004-08-21 3:41 ` ADA " Wes Groleau
2004-08-26 21:11 ` Warren W. Gay VE3WWG
2004-08-27 10:30 ` Georg Bauhaus
2004-08-31 16:34 ` Warren W. Gay VE3WWG
2004-08-31 17:48 ` Georg Bauhaus
2004-09-01 16:58 ` Warren W. Gay VE3WWG
2004-09-10 23:12 ` Kevin Cline
2004-09-12 16:50 ` jayessay
2004-08-11 15:45 ` Jerry Petrey
2004-08-11 15:55 ` Hyman Rosen
2004-08-11 16:54 ` Georg Bauhaus
2004-08-11 17:14 ` Nick Roberts
2004-08-11 18:00 ` Hyman Rosen
2004-08-12 11:48 ` Marin David Condic
2004-08-26 8:07 ` Adrian Hoe
2004-08-26 11:52 ` Marin David Condic
2004-08-27 8:10 ` Adrian Hoe
2004-08-27 14:37 ` Ed Falis
2004-08-27 17:52 ` Richard Riehle
2004-08-27 18:20 ` Hyman Rosen
2004-08-27 22:45 ` Wes Groleau
2004-09-03 6:48 ` Adrian Hoe
2004-09-03 12:14 ` stephane richard
2004-09-03 17:33 ` Björn Persson
2004-08-11 18:58 ` fabio de francesco
2004-08-12 0:05 ` Larry Elmore
2004-08-12 12:29 ` Adam Ruth
2004-08-12 13:25 ` Hardest to read (was: ADA Popularity Discussion Request) Björn Persson
2004-08-12 15:59 ` Frank J. Lhota
2004-08-12 17:31 ` Frank
2004-08-12 20:42 ` Gnat for x86 Solaris David C. Hoos
2004-08-13 19:06 ` Andreas Almroth
2004-08-16 16:19 ` Hardest to read (was: ADA Popularity Discussion Request) Frank J. Lhota
2004-08-13 6:55 ` ADA Popularity Discussion Request Wojtek Narczynski
2004-08-12 22:41 ` Richard Riehle
2004-08-12 23:20 ` Ed Falis
2004-08-13 0:37 ` Nick Roberts
2004-08-13 1:22 ` Ed Falis
2004-08-13 7:01 ` Richard Riehle
2004-08-13 2:55 ` Matt Morgan
2004-08-14 7:26 ` j
[not found] ` <fvavh0lmv0644gn5dt45sbj574t3ivqhlt@4ax.com>
2004-08-15 21:26 ` Nick Roberts
2004-08-16 1:02 ` Richard Riehle
2004-08-16 21:09 ` Keith H Duggar
2004-08-16 22:24 ` Ludovic Brenta
2004-08-16 22:30 ` Ed Falis
2004-08-17 6:13 ` Keith H Duggar
2004-08-17 20:13 ` Ludovic Brenta
2004-08-16 22:26 ` Ed Falis
2004-08-17 6:28 ` Keith H Duggar
2004-08-17 13:30 ` Ed Falis
2004-08-17 13:38 ` Martin Dowie
2004-08-18 3:30 ` Dale Stanbrough
2004-08-17 7:50 ` Dmitry A. Kazakov
[not found] ` <mfb4i09d5kqk8fjdfmrj62kgmooftf1ma8@4ax.com>
2004-08-18 8:58 ` Dmitry A. Kazakov
2004-08-26 5:22 ` Dave Thompson
2004-08-26 8:06 ` Dale Stanbrough
2004-08-26 13:37 ` Martin Krischik
2004-08-26 8:14 ` Dmitry A. Kazakov
2004-08-26 17:28 ` Hyman Rosen
2004-08-17 10:58 ` Marin David Condic
2004-08-17 11:33 ` Martin Dowie
2004-08-17 11:59 ` Marin David Condic
2004-08-17 12:49 ` Martin Dowie
2004-08-17 13:07 ` Marin David Condic
2004-08-19 14:53 ` Martin Dowie
2004-08-17 12:33 ` Georg Bauhaus
2004-08-17 12:54 ` Marin David Condic
2004-08-26 1:27 ` Randy Brukardt
2004-08-26 11:49 ` Marin David Condic
2004-08-17 12:58 ` Martin Dowie
2004-08-17 13:06 ` Martin Dowie
2004-08-17 23:54 ` Kevin Cline
2004-08-18 0:30 ` Richard Riehle
2004-08-18 1:29 ` Björn Persson
2004-08-20 16:39 ` Kevin Cline
2004-08-20 17:41 ` Richard Riehle
2004-08-21 23:23 ` fabio de francesco
2004-08-22 7:16 ` fabio de francesco
2004-08-22 9:44 ` Richard Riehle
2004-08-23 0:18 ` fabio de francesco
2004-08-23 3:44 ` Wes Groleau
2004-08-26 21:36 ` Kevin Cline
2004-08-27 11:39 ` Georg Bauhaus
2004-08-29 15:08 ` jayessay
2004-08-30 19:59 ` Kevin Cline
2004-09-02 14:26 ` jayessay
2004-08-30 20:21 ` Kevin Cline
2004-08-23 15:23 ` Richard Riehle
2004-08-26 21:08 ` Kevin Cline
2004-08-27 5:23 ` Wes Groleau
2004-08-27 17:29 ` Kevin Cline
2004-08-27 22:50 ` Wes Groleau
2004-08-27 11:45 ` Georg Bauhaus
2004-08-27 18:22 ` Kevin Cline
2004-08-27 19:14 ` Hyman Rosen
2004-08-28 14:17 ` Kevin Cline
2004-08-28 18:07 ` Georg Bauhaus
2004-08-29 16:14 ` jayessay
2004-08-30 17:30 ` Hyman Rosen
2004-08-27 21:42 ` Kevin Cline
2004-08-29 6:22 ` Martin Krischik
2004-08-31 7:25 ` Kevin Cline
2004-08-31 9:37 ` Jean-Pierre Rosen
2004-08-31 10:54 ` Martin Dowie
2004-08-31 12:42 ` Hyman Rosen
2004-08-31 13:22 ` Hyman Rosen
2004-08-31 16:02 ` Georg Bauhaus
2004-08-31 17:29 ` Jean-Pierre Rosen
2004-08-31 20:17 ` Hyman Rosen
2004-09-01 7:08 ` Jean-Pierre Rosen
2004-09-01 12:25 ` Georg Bauhaus
2004-09-01 14:27 ` Jean-Pierre Rosen
2004-09-01 20:21 ` Georg Bauhaus
2004-09-02 7:59 ` Martin Krischik
2004-09-02 13:33 ` Hyman Rosen
2004-09-02 14:38 ` Jean-Pierre Rosen
2004-09-02 15:33 ` Hyman Rosen
2004-09-02 16:32 ` Martin Krischik
2004-09-02 18:50 ` Hyman Rosen
2004-08-31 9:57 ` Dmitry A. Kazakov
2004-08-31 11:51 ` Martin Krischik
2004-09-02 19:10 ` Simon Wright
2004-09-12 11:02 ` Anders Gidenstam
2004-09-12 13:47 ` Simon Wright
2004-09-12 15:20 ` Anders Gidenstam
2004-09-12 16:36 ` Simon Wright
2004-09-12 18:33 ` Anders Gidenstam
2004-08-29 15:13 ` jayessay
2004-08-29 16:34 ` Richard Riehle
2004-08-23 17:27 ` Dmitry A. Kazakov
2004-08-23 18:59 ` Georg Bauhaus
2004-08-24 7:07 ` Dmitry A. Kazakov
2004-08-23 22:20 ` Richard Riehle
2004-08-24 7:07 ` Dmitry A. Kazakov
2004-08-26 21:22 ` Kevin Cline
2004-08-26 20:32 ` Kevin Cline
2004-08-27 11:53 ` Georg Bauhaus
2004-08-27 21:48 ` Kevin Cline
2004-08-28 5:02 ` Richard Riehle
2004-08-30 19:16 ` Kevin Cline
2004-08-31 12:16 ` Georg Bauhaus
2004-09-03 15:25 ` Kevin Cline
2004-09-03 18:51 ` Georg Bauhaus
2004-09-05 3:59 ` Kevin Cline
2004-08-28 10:20 ` Georg Bauhaus
2004-08-28 10:30 ` Adrian Knoth
2004-08-28 11:23 ` Georg Bauhaus
2004-08-28 12:28 ` Ludovic Brenta
2004-08-28 16:45 ` Richard Riehle
2004-08-29 15:57 ` jayessay
2004-08-29 16:47 ` Richard Riehle
2004-09-03 16:43 ` jayessay
2004-09-05 4:36 ` Kevin Cline
2004-09-05 16:13 ` Richard Riehle
2004-09-05 17:28 ` Jean-Marc Bourguet
2004-09-06 16:45 ` jayessay
2004-09-06 17:15 ` Georg Bauhaus
2004-09-07 15:13 ` jayessay
2004-09-07 15:57 ` jayessay
2004-09-07 15:57 ` Georg Bauhaus
2004-09-07 18:20 ` jayessay
2004-09-08 10:40 ` Georg Bauhaus
2004-09-08 19:46 ` jayessay [this message]
2004-09-09 1:47 ` Georg Bauhaus
2004-09-10 1:01 ` jayessay
2004-09-10 9:28 ` Georg Bauhaus
2004-09-12 15:59 ` jayessay
2004-09-13 13:19 ` Georg Bauhaus
2004-09-09 5:38 ` Chad R. Meiners
2004-09-10 1:04 ` jayessay
2004-09-10 21:51 ` Chad R. Meiners
2004-09-06 18:47 ` Jean-Marc Bourguet
2004-09-07 15:22 ` jayessay
2004-09-07 15:37 ` Jean-Marc Bourguet
2004-09-07 17:01 ` jayessay
2004-09-07 17:56 ` Jean-Marc Bourguet
2004-09-07 18:29 ` jayessay
2004-09-07 19:03 ` Jean-Marc Bourguet
2004-09-07 21:12 ` jayessay
2004-09-08 8:12 ` Jean-Marc Bourguet
2004-09-07 15:58 ` jayessay
2004-09-07 22:34 ` Björn Persson
2004-09-08 16:28 ` jayessay
2004-09-08 23:28 ` Randy Brukardt
2004-09-05 21:01 ` Jeffrey Carter
2004-09-06 2:17 ` stephane richard
2004-09-06 21:12 ` jayessay
2004-09-07 8:23 ` Dmitry A. Kazakov
2004-09-07 15:25 ` jayessay
2004-09-05 18:28 ` Larry Kilgallen
[not found] ` <e749549b.0409042036.5d4822a2@posting.googlOrganization: LJK Software <vpblkhspuA9F@eisner.encompasserve.org>
2004-09-05 22:49 ` Kevin Cline
2004-09-06 16:39 ` jayessay
2004-09-07 22:01 ` Lionel Draghi
2004-09-08 8:52 ` Ole-Hjalmar Kristensen
2004-09-08 10:20 ` Georg Bauhaus
2004-09-08 12:01 ` Dmitry A. Kazakov
2004-09-08 16:26 ` jayessay
2004-09-08 19:12 ` Dmitry A. Kazakov
2004-09-08 21:02 ` Björn Persson
2004-09-08 23:31 ` jayessay
2004-09-09 16:00 ` Björn Persson
2004-09-08 23:02 ` Alexander E. Kopilovich
2004-09-08 23:23 ` jayessay
2004-09-09 9:12 ` Dmitry A. Kazakov
2004-09-10 1:16 ` jayessay
2004-09-10 15:06 ` Dmitry A. Kazakov
2004-09-08 21:17 ` Lionel Draghi
2004-09-10 0:47 ` jayessay
2004-09-10 17:40 ` Dmitry A. Kazakov
2004-09-12 16:02 ` jayessay
2004-09-10 20:54 ` static typing and test-first development Lionel Draghi
2004-09-08 19:46 ` ADA Popularity Discussion Request Alexander E. Kopilovich
2004-09-09 7:57 ` Dmitry A. Kazakov
2004-09-10 0:53 ` jayessay
2004-09-11 19:52 ` Alexander E. Kopilovich
2004-09-12 16:36 ` jayessay
2004-09-08 16:08 ` jayessay
2004-09-08 17:29 ` Richard Riehle
2004-09-08 23:01 ` jayessay
2004-09-28 8:14 ` Formal and informal type systems? (Was: ADA Popularity Discussion Request) Jacob Sparre Andersen
2004-09-28 9:05 ` Mark Lorenzen
2004-09-28 10:05 ` Marius Amado Alves
2004-09-28 11:02 ` Formal and informal type systems? Georg Bauhaus
2004-09-28 11:31 ` Marius Amado Alves
2004-09-28 17:49 ` Pascal Obry
2004-09-28 18:06 ` Jeffrey Carter
2004-09-29 0:56 ` Georg Bauhaus
2004-09-29 9:10 ` Marius Amado Alves
2004-09-28 18:54 ` Mark Lorenzen
2004-09-28 18:57 ` Mark Lorenzen
2004-09-28 20:19 ` jayessay
2004-09-28 20:34 ` Wojtek Narczynski
2004-09-28 21:03 ` jayessay
2004-09-29 10:23 ` Wojtek Narczynski
2004-09-29 15:32 ` jayessay
2004-09-28 23:47 ` Stephen Leake
2004-09-29 1:23 ` Georg Bauhaus
2004-09-29 9:11 ` Mark Lorenzen
2004-09-29 10:30 ` Wojtek Narczynski
2004-09-29 7:49 ` Dmitry A. Kazakov
2004-09-29 17:53 ` Mark Lorenzen
2004-09-30 8:25 ` Dmitry A. Kazakov
2004-09-29 10:37 ` Wojtek Narczynski
2004-09-28 20:20 ` Formal and informal type systems? (Was: ADA Popularity Discussion Request) Wojtek Narczynski
2004-09-28 20:03 ` Wojtek Narczynski
2004-09-09 1:08 ` ADA Popularity Discussion Request Kevin Cline
2004-09-09 1:35 ` Ed Falis
2004-09-09 20:11 ` Lionel Draghi
2004-09-11 0:04 ` Kevin Cline
2004-09-11 1:10 ` Ed Falis
2004-09-12 16:20 ` jayessay
2004-09-12 23:25 ` Lionel Draghi
2004-09-13 10:13 ` Georg Bauhaus
2004-09-13 21:29 ` jayessay
2004-09-14 9:15 ` Georg Bauhaus
2004-09-15 2:15 ` Alexander E. Kopilovich
2004-09-09 3:01 ` Georg Bauhaus
2004-09-10 23:56 ` Kevin Cline
2004-09-11 9:50 ` Martin Krischik
2004-09-11 18:09 ` Benjamin Ketcham
2004-09-11 18:33 ` Georg Bauhaus
2004-09-12 6:00 ` Benjamin Ketcham
2004-09-12 17:45 ` Martin Krischik
2004-09-12 17:41 ` Martin Krischik
2004-09-13 0:30 ` Hyman Rosen
2004-09-13 6:06 ` Kevin Cline
2004-09-12 0:51 ` Larry Kilgallen
2004-09-12 6:05 ` Benjamin Ketcham
2004-09-12 7:52 ` Pascal Obry
2004-09-12 17:17 ` Marius Amado Alves
2004-09-12 13:02 ` Larry Kilgallen
2004-09-12 19:05 ` Alexander E. Kopilovich
[not found] ` <zi1oZiVz9I4A@eisner.encoOrganization: LJK Software <UHjU2NulgeUs@eisner.encompasserve.org>
2004-09-12 21:21 ` Marin David Condic
2004-09-13 7:42 ` Dmitry A. Kazakov
2004-09-15 20:45 ` Marin David Condic
2004-09-16 8:03 ` Dmitry A. Kazakov
2004-09-16 18:45 ` Pascal Obry
2004-09-17 7:29 ` Dmitry A. Kazakov
2004-09-13 0:48 ` Larry Kilgallen
2004-09-13 14:25 ` Marius Amado Alves
2004-09-13 5:56 ` Kevin Cline
2004-09-13 11:49 ` Georg Bauhaus
2004-09-13 13:30 ` Hyman Rosen
2004-09-14 17:14 ` Kevin Cline
2004-09-14 17:29 ` Kevin Cline
2004-09-13 14:58 ` Larry Kilgallen
2004-09-13 16:01 ` Marius Amado Alves
[not found] ` <mailman.16.1095009448.390.comp.lang.ada@ada-france.Organization: LJK Software <7+giGppWCdX3@eisner.encompasserve.org>
2004-09-14 20:17 ` David Gay
2004-09-11 9:59 ` Pascal Obry
2004-09-12 5:32 ` Hyman Rosen
2004-09-12 7:19 ` Pascal Obry
2004-09-13 0:43 ` Hyman Rosen
2004-09-13 16:40 ` Pascal Obry
2004-09-13 21:19 ` Hyman Rosen
2004-09-13 21:36 ` Hyman Rosen
2004-09-14 17:27 ` Pascal Obry
2004-09-12 7:50 ` Pascal Obry
2004-09-12 23:59 ` Brian May
2004-09-13 0:45 ` Hyman Rosen
2004-09-13 6:19 ` Dale Stanbrough
2004-09-13 7:50 ` Dmitry A. Kazakov
2004-09-13 13:35 ` Hyman Rosen
2004-09-13 15:39 ` Dmitry A. Kazakov
2004-09-13 15:51 ` Hyman Rosen
2004-09-14 8:32 ` Dmitry A. Kazakov
2004-09-14 9:07 ` Georg Bauhaus
2004-09-14 14:04 ` Dmitry A. Kazakov
2004-09-14 15:57 ` Georg Bauhaus
2004-09-15 8:29 ` Dmitry A. Kazakov
2004-09-15 9:30 ` Martin Dowie
2004-09-15 10:05 ` Dmitry A. Kazakov
2004-09-15 10:14 ` Martin Krischik
2004-09-15 12:50 ` Dmitry A. Kazakov
2004-09-16 4:29 ` Kevin Cline
2004-09-16 7:38 ` Martin Krischik
2004-09-16 18:45 ` Georg Bauhaus
2004-09-17 5:58 ` Martin Krischik
2004-09-18 16:44 ` Georg Bauhaus
2004-09-19 11:22 ` Simon Wright
2004-09-19 12:22 ` Georg Bauhaus
2004-09-19 18:04 ` Simon Wright
2004-09-20 7:36 ` Martin Krischik
2004-09-20 20:41 ` Randy Brukardt
2004-09-21 8:11 ` Martin Krischik
2004-09-22 20:51 ` Simon Wright
2004-09-16 8:01 ` Jean-Pierre Rosen
2004-09-14 20:35 ` Pascal Obry
2004-09-15 8:29 ` Dmitry A. Kazakov
2004-09-16 18:43 ` Pascal Obry
2004-09-14 16:28 ` Kevin Cline
2004-09-11 11:44 ` Georg Bauhaus
2004-09-14 16:50 ` Kevin Cline
2004-09-14 17:32 ` Georg Bauhaus
2004-09-09 19:58 ` Lionel Draghi
2004-09-11 0:07 ` Kevin Cline
2004-09-11 12:06 ` Georg Bauhaus
2004-09-12 16:33 ` jayessay
2004-09-13 12:43 ` Georg Bauhaus
2004-09-13 6:58 ` Kevin Cline
2004-09-13 13:06 ` Georg Bauhaus
2004-09-12 16:30 ` jayessay
2004-09-12 22:55 ` Lionel Draghi
2004-09-12 23:08 ` Lionel Draghi
2004-09-13 2:37 ` John B. Matthews
2004-09-13 21:28 ` jayessay
2004-09-13 13:08 ` Georg Bauhaus
2004-09-09 0:13 ` Randy Brukardt
2004-09-09 1:07 ` Testing v compile time checks for errors Jeffrey Carter
2004-09-11 0:23 ` ADA Popularity Discussion Request Kevin Cline
2004-09-14 0:17 ` Randy Brukardt
2004-09-12 16:22 ` jayessay
2004-09-14 0:49 ` Randy Brukardt
2004-09-14 14:28 ` jayessay
2004-09-06 21:01 ` Stephen Leake
2004-09-13 6:23 ` Kevin Cline
2004-09-07 2:16 ` Richard Riehle
2004-09-07 3:57 ` Benjamin Ketcham
2004-09-07 16:42 ` Richard Riehle
2004-09-07 20:51 ` jayessay
2004-09-07 22:21 ` Mark Lorenzen
2004-09-08 5:26 ` Richard Riehle
2004-09-08 6:56 ` Mark Lorenzen
2004-09-08 15:56 ` jayessay
2004-09-08 15:36 ` jayessay
2004-09-08 15:37 ` Jean-Marc Bourguet
2004-09-08 10:29 ` Georg Bauhaus
2004-09-08 16:04 ` jayessay
2004-09-09 2:52 ` Kevin Cline
2004-09-07 7:46 ` Jean-Pierre Rosen
2004-09-14 20:14 ` Kevin Cline
2004-09-20 21:45 ` Lurker
2004-09-07 22:37 ` Lionel Draghi
2004-09-06 7:49 ` Ole-Hjalmar Kristensen
2004-09-06 16:36 ` jayessay
2004-09-06 17:32 ` Georg Bauhaus
2004-09-07 13:48 ` jayessay
2004-09-07 15:13 ` Georg Bauhaus
2004-09-07 15:54 ` jayessay
2004-09-08 12:33 ` Georg Bauhaus
2004-09-08 13:17 ` Georg Bauhaus
2004-09-09 1:02 ` Randy Brukardt
2004-09-09 9:15 ` Dmitry A. Kazakov
2004-09-07 22:18 ` Lionel Draghi
2004-08-28 14:45 ` User Name
2004-08-28 20:02 ` Alexander E. Kopilovich
2004-08-30 12:20 ` Jano
2004-08-20 19:50 ` Jeffrey Carter
2004-08-26 20:42 ` Kevin Cline
2004-08-27 1:22 ` Jeffrey Carter
2004-08-27 15:22 ` Kevin Cline
2004-08-27 16:26 ` Georg Bauhaus
2004-08-30 19:08 ` Kevin Cline
2004-08-27 18:08 ` Jeffrey Carter
2004-08-28 14:05 ` Kevin Cline
2004-08-26 21:52 ` Kevin Cline
2004-08-20 17:53 ` Alexander E. Kopilovich
2004-08-21 1:34 ` Richard Riehle
2004-08-18 0:37 ` Jeffrey Carter
2004-08-18 1:53 ` Steve
2004-08-18 8:58 ` Dmitry A. Kazakov
2004-08-18 10:04 ` Jean-Pierre Rosen
2004-08-18 17:55 ` Ludovic Brenta
2004-08-18 17:58 ` Ed Falis
2004-08-19 7:41 ` Jean-Pierre Rosen
2004-08-19 14:36 ` Larry Kilgallen
2004-08-30 14:00 ` Jacob Sparre Andersen
2004-08-30 15:27 ` Martin Krischik
2004-08-25 18:26 ` John Kern
2004-08-18 10:32 ` Björn Persson
-- strict thread matches above, loose matches on Subject: below --
2004-08-26 2:08 Robert C. Leif
2004-08-31 17:58 Lionel.DRAGHI
2004-09-01 7:21 ` Ole-Hjalmar Kristensen
2004-09-01 12:18 Lionel.DRAGHI
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox