[isabelle-dev] NEWS: limited name space accesses
nipkow at in.tum.de
Wed Apr 8 08:39:53 CEST 2015
On 07/04/2015 16:28, Makarius wrote:
> A real danger in the whole affair is that we need to proceed towards the
> Isabelle2015 release very soon, i.e. this week.
Which in the past would have meant not to include the new concept. But maybe you
want to set a precedent.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5059 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev