Re: [isabelle] Isabelle logo



On Wed, 27 Jul 2011, Christian Sternagel wrote:

1) is there a way to obtain a bigger version (or preferably vector graphic) of the logo

The "isabelle logo" tool does that.


	Makarius





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