/Admin/isabelle_fonts/
drwxr-xr-x [up]
-rw-r--r-- 2020-05-24 21:11 +0200 1410024 IsabelleSymbols.sfd
-rw-r--r-- 2020-05-24 21:11 +0200 1768027 IsabelleSymbolsBold.sfd
-rw-r--r-- 2020-05-24 21:11 +0200 5233 README
-rw-r--r-- 2020-05-24 21:11 +0200 7293 Vacuous.sfd