/Admin/isabelle_fonts/
drwxr-xr-x [up]
-rw-r--r-- 2019-06-03 20:09 +0200 1406842 IsabelleSymbols.sfd
-rw-r--r-- 2019-06-03 20:09 +0200 1757013 IsabelleSymbolsBold.sfd
-rw-r--r-- 2019-06-03 20:09 +0200 5203 README
-rw-r--r-- 2019-06-03 20:09 +0200 7293 Vacuous.sfd