[isabelle] Isabelle logo

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.



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