[isabelle] Isabelle logo terms of use



Hello,

are there any rules governing the (re)use of Isabelle logo? (I have in particular in mind making it part of an avatar).

Stepan




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