[isabelle] Isabelle logo terms of use

To: cl-isabelle-users at lists.cam.ac.uk
Subject: [isabelle] Isabelle logo terms of use
From: Stepan Holub <holub at karlin.mff.cuni.cz>
Date: Mon, 1 Feb 2021 20:27:15 +0100
User-agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.7.0

Hello,

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


Stepan

Follow-Ups:
- Re: [isabelle] Isabelle logo terms of use
  - From: Makarius

Previous by Date: [isabelle] New in the AFP: Solution to the xkcd Blue Eyes puzzle
Next by Date: [isabelle] Call for Papers: Tests and Proofs 2021 (TAP 2021) New Deadlines
Previous by Thread: [isabelle] New in the AFP: Solution to the xkcd Blue Eyes puzzle
Next by Thread: Re: [isabelle] Isabelle logo terms of use
Cl-isabelle-users February 2021 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
Cl-isabelle-users list archive Table of Contents
More information about the Cl-isabelle-users mailing list

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