# HG changeset patch
# User wenzelm
# Date 1616364317 -3600
# Node ID 144431a135e97cdfffdb6a844d34ced778a9fc4d
# Parent  1f1f4462a6ae822d02b48d26102590524c761fcc
update README (actually after update of component);

diff -r 1f1f4462a6ae -r 144431a135e9 Admin/isabelle_fonts/README
--- 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
 
 
 ----------------------------------------------------------------------------