Re: [isabelle] Isabelle logo terms of use



On 01/02/2021 20:27, Stepan Holub wrote:
> Hello,
> 
> are there any rules governing the (re)use of Isabelle logo? (I have in
> particular in mind making it part of an avatar).

I would say that formally it is subject to the very liberal BSD-style license,
as everything else in the main Isabelle code base. In practice, nobody will
every ask any questions.

(Contributed add-ons have their own license schemes.)


	Makarius





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