Email Gateway (Aug 18 2022 at 17:57): Email Gateway (Aug 18 2022 at 17:57):From: Christian Sternagel <christian.sternagel@uibk.ac.at>
Hi all,
I did just use 'isabelle logo ...' in preparation of an ITP talk and two
things came to my mind:
1) is there a way to obtain a bigger version (or preferably vector
graphic) of the logo
2) I know that it is not of high priority, but wouldn't it be nice to
have a modernized version of the logo? Maybe there could be some
contest? I'm not much of an artist myself, however.
cheers
chris
Email Gateway (Aug 18 2022 at 17:57):From: Makarius <makarius@sketis.net>
The "isabelle logo" tool does that.
Makarius
Email Gateway (Aug 19 2022 at 17:32):From: Manuel Eberl <eberlm@in.tum.de>
I for one find that, while I like the hand-drawn look, the Isabelle logo
doesn't look too great at bigger resolutions. I therefore made an SVG
logo based on the old logo and attached two versions of it.
Comments and suggestions are welcome.
Manuel
isabelle.svg
isabelle_noborders.svg
Email Gateway (Aug 19 2022 at 17:33):From: Ondřej Kunčar <kuncar@in.tum.de>
Nice work, Manuel.
Maybe you could also fix the 3D problem (currently it is not possible to
put the cubes together as on the picture). I saw this already fixed by
Cezary. See http://cl-informatik.uibk.ac.at/users/cek/import/
Bests,
Ondrej
Email Gateway (Aug 19 2022 at 17:34):From: Christian Sternagel <c.sternagel@gmail.com>
Maybe the metaphor is that formalizing proofs can be as tough as putting
those cubes together ;)
Just kidding. Nice work.
cheers
chris
Email Gateway (Aug 22 2022 at 08:59):From: Manuel Eberl <eberlm@in.tum.de>
I was aware of that problem, but considered it artistic freedom, so I
left it that way. (I did fix the non-parallel lines though)
It is also worth mentioning that there is work on impossible geometry in
the AFP. ;)
Anyway, I'll see if I can fix the problem in a visually pleasing way.
Manuel
Email Gateway (Aug 22 2022 at 08:59):From: Makarius <makarius@sketis.net>
The "old logo" is still the official Isabelle logo, and there is nothing
to be "fixed" in such an artistic work. Note that for scalability, the is
an official EPS version.
Some people have occasionally been confused by the logo design over the
past decades, but I've seen much better variations on that one -- which
still remained little more than private exercises.
Makarius
Email Gateway (Aug 22 2022 at 08:59):From: Makarius <makarius@sketis.net>
Maybe I should tell Cezary that he is using the wrong logo for Isabelle.
(I also still have an open mail discussion with him about remaining
problems of the HOL-Light to Isabelle converter, which seem to be
visualized here.)
Makarius
Last updated: Apr 16 2024 at 08:18 UTC
