Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isabelle_fonts/README
changeset 73460 144431a135e9
parent 73457 3ede182a479a
child 73467 090add96f5f9 
--- a/Admin/isabelle_fonts/README	Sun Mar 21 23:03:31 2021 +0100
+++ b/Admin/isabelle_fonts/README	Sun Mar 21 23:05:17 2021 +0100
@@ -15,9 +15,12 @@
 of a licence; fonts and documents in this site are free for any use; George
 Douros".
 
+The blackboard-bold glyphs are from font "txmia" (package "pxfonts"):
+these are subject to GPL.
+
 
     Makarius
-    19-Mar-2021
+    21-Mar-2021
 
 
 ----------------------------------------------------------------------------
isabelle