[isabelle-dev] AFP broken
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.
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5135 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev