[isabelle] AFP and Library

Hi Makarius,

You have concerted many if not all AFP sessions that use theories from Library such that they are now based on the Library image. This means that every time a Library theory changes, sonething like half the AFP needs to be rebuilt even though only a few of the AFP sessions may import the modified Library theory. This happens fairly frequently and I wonder what your rational for the change was.


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.