Re: [isabelle] Isabelle logo
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/
On 03/03/2015 09:11 AM, Manuel Eberl wrote:
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and