source code for custom-made Isabelle/Eclipse icons (using GIMP and Pixelmator)
new Isabelle 16x16 icon (stylised version of official logo)

Created because when the official vector logo is shrunk to 16x16, it becomes blurry and illegible
recreating the stylised Isabelle logo in vector form for larger icons: using SketchUp for 3d forms
coloured blocks
stroke borders + shadow
proof symbols on blocks
version without block edge lines
better size and reinstated edge lines on blocks;
smaller icon within page (export the whole page from Inkscape when rasterising)
generated various PNG versions of the logo
product branding artwork: launcher icons, splash, about and welcome logo
Isabelle launch wizard icon
info on tools used to create artwork
Merge branch 'artwork-src'