--- a/lib/fonts/README Sun Dec 05 14:02:16 2010 +0100
+++ b/lib/fonts/README Sun Dec 05 15:23:33 2010 +0100
@@ -1,6 +1,7 @@
The Isabelle font has been assembled with FontForge
(http://fontforge.sourceforge.net), composing glyphs from existing
-(free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono.
+(free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono,
+with some additions from DejaVu Sans Mono and DejaVu Sans.
----------------------------------------------------------------------------