[isabelle-dev] Proposing extensions to the Isabelle library?
coglio at kestrel.edu
Sat Jul 20 02:12:40 CEST 2013
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.
> PGP available:
More information about the isabelle-dev