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

[Alessandro Coglio]

Hi Florian, the two patches are attached. Please let me know if you have any questions.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: repo-patch
Type: application/octet-stream
Size: 31199 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130720/a72db9c0/attachment-0004.obj>
-------------- next part --------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: afp-patch
Type: application/octet-stream
Size: 13498 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130720/a72db9c0/attachment-0005.obj>
-------------- next part --------------




On Jul 20, 2013, at 9:18 AM, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:

> Hi Alessandro,
> 
>> 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
> 
> you can send them to the mailing list and I will take care of them.
> 
> 	Florian
> 
> -- 
> 
> PGP available:
> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2095 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130720/a72db9c0/attachment.bin>