diff -r 04c50000fad1 -r 7e5a7a11d5d1 Admin/isabelle_fonts/README
--- a/Admin/isabelle_fonts/README	Sun Feb 10 18:12:24 2019 +0100
+++ b/Admin/isabelle_fonts/README	Sun Feb 10 18:16:11 2019 +0100
@@ -17,7 +17,7 @@
 
 
     Makarius
-    29-Nov-2018
+    10-Feb-2019
 
 
 ----------------------------------------------------------------------------