[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 in
particular 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
.