[isabelle-dev] Concerning AFP 2a0f81020af9

[Gerwin Klein]

On 31 Oct 2013, at 9:04 pm, Peter Lammich <lammich at in.tum.de> wrote:

> On Do, 2013-10-31 at 10:57 +0100, Florian Haftmann wrote:
>>> The whole export_code - block can be removed, I'll do it in afp-devel,
>> 
>> Thanks.
>> 
>>> but someone has to remove it in the snapshot.
> 
> I meant the release branch of AFP, that Gerwin made a few days ago. See
> also:
> 
> https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/2013-October/004787.html

Yes. I’ll move the patch over.

Cheers,
Gerwin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 273 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20131031/7f771a8c/attachment.sig>