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 > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
