Quoting Florian Haftmann :
Let those thoughts sink further few days. If there is no veto until Apr
7th, I would go ahead to turn the patches upstream.
You have proposed a change about which doubts were raised. I don't
consider it acceptable to then announce a deadline after which you
wil
Quoting Florian Haftmann :
context B begin
context
begin
interpretation A
end
end
This looks attractive, but could you please elaborate the semantics:
- What would be the effect of the interpretation from the inner block
on the outer block?
- What would be the effect of the entire
Quoting Makarius :
On Tue, 26 Mar 2013, Florian Haftmann wrote:
Note that we have one more aspect in the back-end that could help
here: the 'private' modifier.
What would the 'private' modifier do in general? This sounds like a
new concept.
The following may or may not be related: I re
