[isabelle-dev] Concerning AFP 2a0f81020af9
Gerwin.Klein at nicta.com.au
Thu Oct 31 12:04:52 CET 2013
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,
>>> but someone has to remove it in the snapshot.
> I meant the release branch of AFP, that Gerwin made a few days ago. See
Yes. I’ll move the patch over.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 273 bytes
Desc: Message signed with OpenPGP using GPGMail
More information about the isabelle-dev