[isabelle-dev] Concerning AFP 2a0f81020af9
lammich at in.tum.de
Thu Oct 31 11:04:05 CET 2013
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,
> > but someone has to remove it in the snapshot.
I meant the release branch of AFP, that Gerwin made a few days ago. See
> What is »the snapshot« in this context? The develepment snapshot on
> http://afp.sourceforge.net/download.shtml is volatile.
More information about the isabelle-dev