# HG changeset patch
# User wenzelm
# Date 1218809288 -7200
# Node ID 7c97cf70d663ef8e284347cd46340103397d8b24
# Parent  7ceb5729a53e6d9f846e1501b9e0fa12aa65fd59
added README;

diff -r 7ceb5729a53e -r 7c97cf70d663 lib/fonts/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fonts/README	Fri Aug 15 16:08:08 2008 +0200
@@ -0,0 +1,2 @@
+The Isabelle font has been assembled from existing (free) TeX fonts
+using FontForge http://fontforge.sourceforge.net/