[isabelle-dev] Concerning AFP 2a0f81020af9

[Peter Lammich]

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



> 
> What is »the snapshot« in this context?  The develepment snapshot on
> http://afp.sourceforge.net/download.shtml is volatile.
> 
> 	Florian
>