Re: EXIT THEN

From	"HAA" <someone@microsoft.com>
Newsgroups	comp.lang.forth
Subject	Re: EXIT THEN
Date	2017-01-20 11:46 +1100
Organization	Aioe.org NNTP Server
Message-ID	<o5rmih$7r0$1@gioia.aioe.org> (permalink)
References	<o5jrct$1r41$1@gioia.aioe.org><40682dd5-ba45-4b07-bd5c-7974b1119e78@googlegroups.com><42c0521f-942a-43ca-8a08-2381f93b0a13@googlegroups.com><o5p6rl$2k0$2@gioia.aioe.org> <o5pf83$3eq$1@dont-email.me>

Show all headers | View raw

rickman wrote:
> On 1/18/2017 9:05 PM, HAA wrote:
> > hughaguilar96@gmail.com wrote:
> >> ...
> >> CASE is also complicated --- I can't remember how it works without looking it up in
> >> the document --- I don't like it.
> >
> > Wil Baden also thought CASE too complicated and restrictive preferring a
> > DIY approach where programmers 'roll their own' using a few primitives.  E.g.
> >
> >                 : end-of-line? ( char -- 2|1|0 )
> >                   $0D  of  2  end
> >                   $0A  of  1  end
> >                   drop  0 ;
> >
> > This is more flexible and faster than ANS CASE which requires OF be used
> > with ENDOF that compiles a jump whether you needed it or not.  Just one of
> > the reasons I'm not in favor of standards.
>
> How is case restrictive exactly?  Won't case do this just as well?
>
> : end-of-line? ( char -- 2|1|0 )
>    case
>      $0D  of  2  endof
>      $0A  of  1  endof
>      0 swap
>    endcase
>    ;

ENDOF is functionally equivalent to ELSE so you generate a jump to the
point after ENDCASE instead of exiting immediately.  Most case usage is
complex enough that it warrants a separate definition making the 'jump
to the end' an unnecessary action.  To support these superfluous jumps
you also needed the words CASE and ENDCASE.

The first version is not only more direct in its execution and therefore more
efficient, it's simpler to write.  It's an example of 'ELSE elimination' mentioned
elsewhere.  Unfortunately in order to be compatible with 'everybody's CASE',
ANS CASE had to be specified in a way that prevents such optimizations.
In theory an ANS program could define a word similar to my OF but that
doesn't help me.  It wouldn't be as efficient as the one I already have.

Thread

EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-17 12:17 +1100
  Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-16 18:27 -0800
  Re: EXIT THEN Pablo Hugo Reda <pabloreda@gmail.com> - 2017-01-16 18:28 -0800
    Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-16 20:56 -0800
      Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-19 13:05 +1100
        Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-18 23:29 -0500
          Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-20 11:46 +1100
            Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-19 22:28 -0500
        Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-22 18:45 -0800
          Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-25 09:57 +1100
      Re: EXIT THEN JennyB <jennybrien@googlemail.com> - 2017-01-25 23:56 -0800
        Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-26 03:35 -0600
          Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-01-26 11:31 +0100
          Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-26 11:07 +0000
            Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-05 19:15 +1100
              Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-07 17:54 +0000
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-02-07 21:14 +0000
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-13 16:52 +0000
                Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-02-15 23:49 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-02-16 14:41 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-02-16 16:59 +0000
                Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-03-11 15:05 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Matthias Trute <matthias.trute@gmail.com> - 2017-03-13 12:37 -0700
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-03-13 21:32 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-03-14 04:42 -0500
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-03-14 11:45 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-03-14 12:41 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-03-14 14:20 +0100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-07 16:15 -0500
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-13 16:49 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-08 19:43 +1100
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-13 16:31 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-14 11:12 +1100
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-15 17:22 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-17 10:16 +1100
          Re: EXIT THEN JennyB <jennybrien@googlemail.com> - 2017-01-26 09:11 -0800
            Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-28 11:07 +1100
            Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-27 18:31 -0800
              Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-29 12:07 +1100
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-28 17:37 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-28 21:40 -0500
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-29 19:56 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-30 00:30 -0500
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-31 04:22 -0600
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-31 14:42 -0800
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-31 19:16 -0500
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-31 21:00 -0800
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-01 17:35 -0500
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-02 01:31 -0500
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-02 20:09 -0500
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-02 18:03 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-02 22:04 -0500
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-02-01 03:15 -0800
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-01 17:32 -0500
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-30 13:30 +0000
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-01-30 05:56 -0800
                Re: EXIT THEN Howerd <howerdo@yahoo.co.uk> - 2017-01-30 12:13 -0800
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-30 22:25 +0000
        Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-26 10:48 +0000
          Re: EXIT THEN JennyB <jennybrien@googlemail.com> - 2017-01-26 08:41 -0800
            Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-27 21:36 -0800
    Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-17 17:06 +0000
  Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-16 16:31 -1000
    Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-16 20:59 -0800
      Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-17 06:11 -0800
    Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-18 10:36 +1100
      Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-20 07:33 +0000
        Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-20 23:02 +1100
          Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-20 13:47 +0000
            Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-20 18:55 -0800
              Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-22 09:15 +0000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-22 14:30 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-22 20:58 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 10:47 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 06:20 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 13:09 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 14:41 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 20:52 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 16:21 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-24 06:55 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 03:56 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-24 09:46 +0000
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-22 22:38 -0500
            Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-23 15:09 +1100
              Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 10:16 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 05:53 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 12:14 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 14:53 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-24 21:37 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 19:54 -0500
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-25 03:38 -0600
  Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-01-17 08:01 -0800
    Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-17 10:27 -0800
      Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-17 11:34 -0800
        Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-18 14:35 +0000
    Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-18 10:37 +1100
      Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-17 20:53 -0500
        Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-17 18:02 -1000
          Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-18 00:15 -0500
            Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-17 19:34 -1000
              Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-18 03:33 -0500
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-18 03:45 -0600
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-18 14:43 -0500
                Re: EXIT THEN albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-01-18 13:17 +0100
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-19 13:46 +1100
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-18 13:56 +0000
              Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-19 13:04 +1100
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-18 18:10 -1000
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-19 03:51 -0600
                Re: EXIT THEN hheinrich.hohl@gmail.com - 2017-01-19 02:28 -0800
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-20 22:23 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-20 13:32 -0500
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-20 18:18 -1000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-23 12:00 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-22 21:10 -0500
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-01-23 01:22 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 06:03 -0500
                Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-01-24 02:27 +0100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 04:00 -0500
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-24 07:49 -0500
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 20:04 -0500
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-24 20:23 -0500
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 21:32 -0500
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-24 23:04 -0500
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-25 00:45 -0500
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-25 07:16 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-25 02:57 -0500
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-25 16:55 +0000
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-25 09:53 -1000
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-26 22:40 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-26 10:55 +1100
                Re: EXIT THEN JennyB <jennybrien@googlemail.com> - 2017-01-26 10:17 -0800
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-27 13:09 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-26 21:54 -0500
                Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-01-27 14:12 +0100
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-28 12:32 +1100
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-29 10:35 +1100
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-22 21:35 -0500
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-23 04:15 -0600
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-23 10:29 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-23 21:48 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 06:18 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-26 11:34 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-25 22:04 -0500
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-25 17:22 -1000
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-01-26 00:55 -0800
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-27 13:40 +1100
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-20 11:44 +1100
  Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-18 08:02 -0500
    Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-01-18 17:45 +0100
      Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-19 20:02 -0500
  Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-01-22 18:23 -0800
  Re: EXIT THEN albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-02-02 12:24 +0100
    Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-10 12:15 +1100
      Re: EXIT THEN mhx@iae.nl - 2017-02-10 10:57 -0800
        Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-11 12:45 +1100
          Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-10 18:13 -0800
            Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-11 07:55 -0500
              Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-02-11 13:16 +0000
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-02-11 11:28 -1000
                Re: EXIT THEN Paul Rubin <no.email@nospam.invalid> - 2017-02-11 13:40 -0800
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-11 18:52 -0800
                Re: EXIT THEN Jan Coombs <jenfhaomndgfwutc@murmic.plus.com> - 2017-02-12 12:09 +0000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 07:24 -0800
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-12 16:42 -0500
                Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-02-12 13:52 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-13 00:02 -0500
                Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-02-12 21:27 -0800
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-13 07:53 +0000
                Re: EXIT THEN Michael Barry <barrym95838@yahoo.com> - 2017-02-12 16:25 -0800
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 17:11 -0800
                Re: EXIT THEN Michael Barry <barrym95838@yahoo.com> - 2017-02-12 18:49 -0800
                Re: EXIT THEN Michael Barry <barrym95838@yahoo.com> - 2017-02-12 18:59 -0800
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 21:18 -0800
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-12 14:39 +0000
              Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-11 18:47 -0800
            Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-12 00:49 -0500
              Re: EXIT THEN Paul Rubin <no.email@nospam.invalid> - 2017-02-11 23:07 -0800
                Re: EXIT THEN Jan Coombs <jenfhaomndgfwutc@murmic.plus.com> - 2017-02-12 12:36 +0000
            Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-13 11:08 +1100
              Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 17:04 -0800
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 17:08 -0800
  Re: EXIT THEN jacko <jackokring@gmail.com> - 2017-02-16 17:24 -0800
    Re: EXIT THEN jacko <jackokring@gmail.com> - 2017-02-17 16:32 -0800
      Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-19 10:47 +1100
        Re: EXIT THEN jacko <jackokring@gmail.com> - 2017-02-18 16:07 -0800
          Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-19 13:54 +1100
  Re: EXIT THEN Heinrich Hohl <hheinrich.hohl@gmail.com> - 2017-02-17 02:40 -0800
    Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-17 19:25 -0500
    Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-19 12:36 +1100
  Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-20 06:32 -0700
    Re: EXIT THEN Jan Coombs <jenfhaomndgfwutc@murmic.plus.com> - 2017-03-21 08:33 +0000
      Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-22 02:21 +1100
        Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 09:57 -0700
          Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-03-21 18:17 +0100
            Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 10:22 -0700
          Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 17:56 +0000
            Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 11:59 -0700
              Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 19:16 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 12:24 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 19:26 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 12:32 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 19:51 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 12:56 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 21:02 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 14:15 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 21:36 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 15:12 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 16:13 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 09:16 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 03:35 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 13:33 -0700
        Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 17:51 +0000
        Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 18:59 +0000
          Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-03-21 12:07 -0700
            Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 12:17 -0700
              Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-22 20:08 +1100
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 09:18 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-22 22:25 +1100
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 04:46 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 12:23 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 05:27 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 05:36 -0700
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-03-22 13:14 +0000
                Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-03-22 13:43 +0100
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 13:04 +0000
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 11:49 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 05:24 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 13:00 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 06:12 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 07:00 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 07:14 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 10:43 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 11:09 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 18:22 +0000
                Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-03-22 11:42 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 15:45 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 15:57 -0700
                Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-03-22 16:17 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 12:03 -0700
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-03-22 14:27 -0500
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 14:31 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-23 14:41 +0000
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 14:57 +0000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-26 01:11 -0700
                Re: EXIT THEN Ron Aaron <rambamist@gmail.com> - 2017-03-26 11:40 +0300
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-26 01:57 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-26 09:50 +0100
                Re: EXIT THEN foxaudioresearch@gmail.com - 2017-03-22 09:14 -0700
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-23 00:48 +1100
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 13:59 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-23 09:52 +1100
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 16:13 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-23 14:39 +0000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-23 16:33 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-24 14:17 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-24 11:49 +1100
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-23 18:12 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-24 08:55 +0000
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-03-24 09:14 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-25 13:00 +1100
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-24 20:25 -0700
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-03-25 02:10 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-25 12:08 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 06:59 -0700
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-23 09:53 +1100
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-25 07:52 -0700
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-26 16:31 +1000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-26 01:52 -0700

csiph-web