[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
TLA+ graphic design
From
: Andrew Helwer <
andrew...@xxxxxxxxx
>
Date
: Mon, 11 May 2015 20:30:10 -0700 (PDT)
Is there an official logo or mascot for TLA+, PlusCal, or any of the tools? If so, where may I find it and how is it licensed?
Follow-Ups
:
Re: TLA+ graphic design
From:
Leslie Lamport
Prev by Date:
Re: Toolbox running under Java 1.8
Next by Date:
Re: TLA+ graphic design
Previous by thread:
Re: Toolbox running under Java 1.8
Next by thread:
Re: TLA+ graphic design
Index(es):
Date
Thread