/etc/
drwxr-xr-x [up]
-rw-r--r-- 2019-01-16 18:14 -0500 202 components
-rw-r--r-- 2019-01-16 18:14 -0500 3598 isabelle.css
-rw-r--r-- 2019-01-16 18:14 -0500 10875 options
-rw-r--r-- 2019-01-16 18:14 -0500 4117 settings
-rw-r--r-- 2019-01-16 18:14 -0500 24908 symbols