Well, I have a rather vague recollection of hearing that the AFP is only interested in proofs written in Isar. Is that correct?
It does not say so anywhere. And some contributions are not in Isar. Although we do have a preference for Isar and may ask for revisions of particularly brittle theories before adding them.