/Admin/Windows/ Isabelle2021
drwxr-xr-x [up]
drwxr-xr-x Cygwin
drwxr-xr-x Installer
drwxr-xr-x launch4j