[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Pcal, procedures and tests
From
: fl <
freder...@xxxxxxxxxxx
>
Date
: Fri, 10 Apr 2015 04:47:47 -0700 (PDT)
References
: <
050eae7c-ab39-487c-a0cc-1b71bba4a680@googlegroups.com
> <
4308200b-ddf9-4324-97ac-8badb24bcb41@googlegroups.com
> <
ab84dfc6-8404-4238-b75b-921ac8684e31@googlegroups.com
>
Macro(a,b) = Test(x) == x.out = a /\
x.in
= b
I mean:
Macro(a,b) == Test(x) == x.out = a /\
x.in
= b
--
FL
References
:
Pcal, procedures and tests
From:
fl
Re: Pcal, procedures and tests
From:
Leslie Lamport
Re: Pcal, procedures and tests
From:
fl
Prev by Date:
Re: Pcal, procedures and tests
Next by Date:
Re: [tlaplus] Pcal, procedures and tests
Previous by thread:
Re: Pcal, procedures and tests
Next by thread:
Re: [tlaplus] Pcal, procedures and tests
Index(es):
Date
Thread