[isabelle-dev] NEWS: limited name space accesses

Tobias Nipkow 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.

Tobias

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5059 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20150408/593e5488/attachment.bin>


More information about the isabelle-dev mailing list