Quoting Florian Haftmann florian.haftm...@informatik.tu-muenchen.de:
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
Quoting Florian Haftmann florian.haftm...@informatik.tu-muenchen.de:
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
Quoting Makarius makar...@sketis.net:
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
