Subject: Re: Master list of changes
From: Martin von Loewis (loewis#informatik.hu-berlin.de)
Date: Tue Nov 28 2000 - 10:27:01 GMT
> 1. On TD10 item 10 (see Minutes item 2.9) I do not have the proposed text
> from Martin, and the existing text seems to me to cover everything.
> Therefore I have not added anything.
Exactly. That is also what I found later, so I consider this item done.
> 2. On TD41 item 14 the Minutes on Formal Semantics state that "text was
> provided during the meeting" - I do not have that text - so I
> invented some text for 12.1.4 Abstract grammar
My recollection was that you offered to draft some text together with
Thomas, so it's good to hear you did :-)
> 3. On D29 there should be a clarification that "an inlined state graph has
> the same semantics as an agent type with state reference". However,
> there is no text in the minutes - and it is not clear to me what has
> been agreed. Therefore no change has been made.
I think there was indeed no agreement on that proposal.
Regards,
Martin
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT