/Admin/components/ Isabelle2016
drwxr-xr-x [up]
-rw-r--r-- 2016-02-15 14:55 +0100 2317 README
-rw-r--r-- 2016-02-15 14:55 +0100 50 bundled
-rw-r--r-- 2016-02-15 14:55 +0100 68 bundled-linux
-rw-r--r-- 2016-02-15 14:55 +0100 68 bundled-macos
-rw-r--r-- 2016-02-15 14:55 +0100 86 bundled-windows
-rw-r--r-- 2016-02-15 14:55 +0100 10686 components.sha1
-rw-r--r-- 2016-02-15 14:55 +0100 305 main
-rw-r--r-- 2016-02-15 14:55 +0100 71 nonfree
-rw-r--r-- 2016-02-15 14:55 +0100 89 optional
-rw-r--r-- 2016-02-15 14:55 +0100 60 windows