[isabelle-dev] AFP broken

Tobias Nipkow nipkow at in.tum.de
Thu Oct 20 10:22:57 CEST 2016


These are good suggestions, thanks, we'll add them to the submission system.

Tobias

On 19/10/2016 23:33, Makarius wrote:
> The situation can be easily improved: the AFP submission system merely
> needs to check for "Legacy feature" warnings, and tell the authors to
> eliminate them beforehand.
>
> Legacy features usually have one or two release cycles, before the
> feature is removed. It seems that few people care about that themselves,
> so they need to be informed explicitly.
>
>
> Another possible improvement for AFP checks:
>
>   isabelle check_sources '$AFP_BASE'
>
> This is available in Isabelle/Scala module Check_Sources.
>
>
> 	Makarius
>
>
>
>
> _______________________________________________
> 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: 5135 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20161020/f85a2ebb/attachment.bin>


More information about the isabelle-dev mailing list