Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added README;
authorwenzelm
Fri, 15 Aug 2008 16:08:08 +0200
changeset 27893 7c97cf70d663
parent 27892 7ceb5729a53e
child 27894 a06f78f917e0
added README;
lib/fonts/README file | annotate | diff | comparison | revisions 
--- /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/
isabelle