/Admin/isabelle_fonts/
drwxr-xr-x [up]
-rw-r--r-- 2020-11-28 15:15 +0100 1410024 IsabelleSymbols.sfd
-rw-r--r-- 2020-11-28 15:15 +0100 1768027 IsabelleSymbolsBold.sfd
-rw-r--r-- 2020-11-28 15:15 +0100 5233 README
-rw-r--r-- 2020-11-28 15:15 +0100 7293 Vacuous.sfd