/etc/
drwxr-xr-x [up]
-rw-r--r-- 2019-02-23 16:03 -0500 202 components
-rw-r--r-- 2019-02-23 16:03 -0500 3598 isabelle.css
-rw-r--r-- 2019-02-23 16:03 -0500 10770 options
-rw-r--r-- 2019-02-23 16:03 -0500 4109 settings
-rw-r--r-- 2019-02-23 16:03 -0500 24908 symbols