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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
