[isabelle-dev] Proposing extensions to the Isabelle library?

[Alessandro Coglio]

Hi Florian,

I now have a patch for the Isabelle repo and a patch for the AFP repo.

The following command succeeds, with the patches applied to Isabelle changeset 52711:155f02cacb2d and to AFP changeset 3663:d1bb08f92ce5:

./bin/isabelle build -c -a -d ../AFP/thys

Should I send the two patches to anyone in particular, or to this whole mailing list?



On Jul 3, 2013, at 11:28 AM, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:

> Hi Alessandro,
> 
>> It sounds like I should also look into the AFP. Is
> http://hg.code.sf.net/p/afp/code the correct repo URL?
> 
> Yse, indeed.
> 
>> If some changes to the AFP are needed, should I create an hg patch for
> those as well, which then I'll send along with the patch for the
> Isabelle repo?
> 
> One way to go, yes.
> 
> Cheers,
> 	Florian
> 
> 
> 
> -- 
> 
> PGP available:
> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
>